2909 search results - page 130 / 582 » Consistency of the theory of contexts |
173
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
151
click to vote
MFCS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
171
click to vote
CAIP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
167
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
141
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
We study the empirical meaning of randomness with respect to a family of probability distributions P, where is a real parameter, using algorithmic randomness theory. In the case w...