35 search results - page 6 / 7 » Dynamic Epistemic Logic and Knowledge Puzzles |
AAAI
2010
13 years 7 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...
AGI
2008
13 years 7 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
LFCS
2007
Springer
14 years 3 days ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
JOLLI
2010
13 years 4 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
ATAL
2011
Springer
12 years 6 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...