Quantified coalition logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 1181-1186

  Ågotnes, Thomas ^a   Van Der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a BERGEN UNIVERSITY COLLEGE   (Norway)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIZATION; EXPLICIT STATE; SOCIAL CHOICE; TIME COMPLEXITY;

MODEL CHECKING;

MULTI AGENT SYSTEMS;

EID: 84880881871     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. T. Ågotnes and N. Alechina. Knowing minimum/maximum n formulae. In Proc. ECAI-2006, 2006.
2. T. Ågotnes and M. Walicki. Complete axiomatizations of finite syntactic epistemic states. In DALT III:, vol 3904 of LNCS/LNAI, pages 33-50. Springer, 2006. (Pubitemid 44013056)
3. T. Ågotnes, W. van der Hoek, and M. Wooldridge. On the logic of coalitional games. In Proc. AAMAS- 2006, pages 153-160, 2006.
4. T. Ågotnes. Action and knowledge in alternating-time temporal logic. Synthese, 149(2):375-407, 2006. (Pubitemid 43699756)
5. R. Alur and T. A. Henzinger. Reactive modules. Formal Meth. in Sys. Design, 15(11):7-48, July 1999.
6. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. JACM, 49(5):672-713, September 2002.
7. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
8. G. Gargov and S. Passy. A note on Boolean Modal Logic. In Mathematical Logic and Applications, pages 253-263. Plenum Press, 1987.
9. W. van der Hoek, A. Lomuscio, and M. Wooldridge. On the complexity of practical ATL model checking. In Proc. AAMAS-2006, pages 201-208, 2006.
10. C. Lutz. Complexity and succinctness of public announcement logic. In Proc. AAMAS-2006, pages 137-144, 2006.
11. M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001.
12. W. van der Hoek, W. Jamroga, and M. Wooldridge. A logic for strategic reasoning. In Proceedings of AAMAS-2005, pages 157-153, 2005.
13. M. Wooldridge and P. E. Dunne. On the computational complexity of qualitative coalitional games. Artificial Intelligence, 158(1):27-73, 2004.