528 search results - page 8 / 106 » Epistemic Logic and Planning |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
SYNTHESE
2011
13 years 2 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
IJCAI
2003
13 years 9 months ago
2003
emic Logic for Arbitration (Extended Abstract)
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
In the celebrated G