What agents can achieve under incomplete information

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 232-234

  Jamroga, Wojciech ^a   Agotnes, Thomas ^b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF BERGEN   (Norway)

Author keywords

Alternating time temporal logic; Epistemic logic; Incomplete information; Strategic ability

Indexed keywords

AUTONOMOUS AGENTS; INFORMATION ANALYSIS; PROBLEM SOLVING; SET THEORY; TEMPORAL LOGIC;

ALTERNATING-TIME TEMPORAL LOGIC; EPISTEMIC LOGIC; INCOMPLETE INFORMATION; STRATEGIC ABILITY;

SEMANTICS;

EID: 34247218667     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160672     Document Type: Conference Paper

References (10)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
2. A. Herzig and N. Troquard. Knowing how to play: Uniform choices in logics of agency. AAMAS, 2006.
3. W. Jamroga. Some remarks on alternating temporal epistemic logic. In Proc. of FAMAS, p. 133-140, 2003.
4. W. Jamroga and J. Dix. Model checking strategic abilities of agents under incomplete information. In Proceedings of ICTCS 2005, pages 295-308, 2005.
5. W. Jamroga, and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2-3), 2004.
6. G. Jonker. Feasible strategies in Alternating-time Temporal Epistemic Logic. Master thesis,2003.
7. W. Quine. Quantifiers and prepositional attitudes. Journal of Philosophy, 53:177-187, 1956.
8. P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.
9. W. van der Hoek and M. Wooldridge. Tractable multiagent planning for epistemic goals. In Proceedings of AAMAS-02, pages 1167-1174, 2002.
10. S. van Otterloo and G. Jonker. On Epistemic Temporal Strategic Logic. In Proc. of LCMAS, 2004.