3353 search results - page 294 / 671 » Laver and set theory |
168
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...
199
Voted
DEON
2010
Springer
15 years 11 months ago
2010
Springer
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...
203
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
174
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
174
click to vote
TARK
1998
Springer
15 years 11 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...