320 search results - page 9 / 64 » A Modal Logic of Information Change |
100
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...
115
click to vote
IJCAI
2003
15 years 1 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
DEXAW
2000
IEEE
15 years 4 months ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we investigate the effect of substantial inter-image intensity changes and changes in modality on the performance of keypoint detection, description, and matching a...
CADE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...