1223 search results - page 35 / 245 » A Logic for Reasoning about Evidence |
140
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
213
click to vote
COSIT
2011
Springer
14 years 1 months ago
2011
Springer
If spatial cognition hopes to understand memory of and reasoning about real-world environments, then all aspects of the environment, both spatial and non-spatial need to be conside...
123
click to vote
MST
2010
14 years 8 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
120
Voted
KR
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
125
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...