Alternating-time temporal logic with explicit strategies

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2007

Volumn , Issue , 2007, Pages 269-273

  Walther, Dirk ^a   Van Der Hoek, Wiebe ^a   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATING TIME TEMPORAL LOGIC; AXIOMATIC SYSTEM; MODEL CHECKING PROBLEM; PATH QUANTIFIERS; SATISFIABILITY PROBLEMS;

MODEL CHECKING;

EID: 67349163648     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1324249.1324285     Document Type: Conference Paper

References (11)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. J. ACM, 49(5):672-713, 2002.
2. S. Borgo. Coalitions in action logic. In M. M. Veloso, editor, Proceedings IJCAI'07, pages 1822-1827, Hyderabad, India, 2007.
3. S. A. Cook and D. G. Mitchell. Finding hard instances of the satisfiability problem: A survey. In D. Du, J. Gu, and P. M. Pardalos, editors, Satisfiability Problem: Theory and Applications, volume 35 of DIMACS: Series in Discrete Mathematics and Theoretical Computer Science, pages 1-17, 1997.
4. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science (vol. B): Formal Models and Semantics, pages 995-1072. MIT Press, Cambridge, MA, USA, 1990.
5. F. Giunchiglia and P. Traverso. Planning as model checking. In S. Biundo and M. Fox, editors, Recent Advances in AI Planning (LNAI Volume 1809), pages 1-20. Springer-Verlag: Berlin, Germany, 1999.
6. V. Goranko and G. van Drimmelen. Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science, 353(1-3):93-117, 2006. (Pubitemid 43277729)
7. M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001-10.
8. P. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Computer Science, 85(2):82-93, 2004. (Pubitemid 40679073)
9. W. van der Hoek, W. Jamroga, and M. Wooldridge. A logic for strategic reasoning. In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 157-164, New York, NY, USA, 2005. ACM Press.
10. G. van Drimmelen. Satisfiability in alternating-time temporal logic. In LICS '03: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada, pages 208-217, Washington, DC, USA, 2003. IEEE Computer Society.
11. D. Walther, C. Lutz, F. Wolter, and M. Wooldridge. ATL satisfiability is indeed Exptime-complete. Journal of Logic and Computation, 16:765-787, 2006.