1223 search results - page 29 / 245 » A Logic for Reasoning about Evidence |
111
click to vote
IJCAI
1993
15 years 3 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
100
click to vote
INAP
2001
Springer
15 years 6 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
125
click to vote
AAAI
2010
15 years 3 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
118
click to vote
PODS
2008
ACM
16 years 2 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
IJCAI
1993
15 years 3 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...