Tractable multiagent planning for epistemic goals

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 3, 2002, Pages 1167-1174

  Van der Hoek, Wiebe ^a   Wooldridge, Michael ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Epistemic Temporal Logic; Model Checking; Planning

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; PROBLEM SOLVING; SEMANTICS;

ALTERNATING TEMPORAL EPISTEMIC LOGIC (ATEL);

MULTI AGENT SYSTEMS;

EID: 0036355444     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/545056.545095     Document Type: Conference Paper

References (19)

1. MOCHA user manual
2. Mocha: Modularity in model checking
3. Alternating-time temporal logic
4. A logic for suspicious players
5. Temporal and modal logic
6. Knowledge and the logic of local propositions
7. Planning as model checking
8. Model checking knowledge and time
9. Actions that make you change your mind
10. A logical framework for coalitional effectivity in dynamic procedures
11. On the synthesis of an asynchronous reactive module
12. Branching vs. linear time: Final showdown
13. A tableau-based proof method for temporal logics of knowledge and belief