528 search results - page 12 / 106 » Epistemic Logic and Planning |
RSFDGRC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
AIML
2006
15 years 1 months ago
2006
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
JAPLL
2007
14 years 11 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
112
click to vote
LOGCOM
2007
14 years 11 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
ATAL
2001
Springer
15 years 4 months ago
2001
Springer