Concepts, agents, and coalitions in alternating time

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 438-443

  Jamroga, Wojciech ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTER CIRCUITS; DATA DESCRIPTION;

ALTERNATING TIME; DESCRIPTION LOGIC; FINITE MODEL PROPERTY; HAND MODEL; MODELS CHECKING; REALIZABILITY; SATISFIABILITY; SATISFIABILITY PROBLEMS;

MODEL CHECKING;

EID: 84878771482     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-098-7-438     Document Type: Conference Paper

References (12)

1. T. Ågotnes, V. Goranko, and W. Jamroga, 'Alternating-time temporal logics with irrevocable strategies', in Proceedings of TARK XI, ed., D. Samet, pp. 15-24, (2007).
2. T. Ågotnes, W. van der Hoek, and M. Wooldridge, 'Quantified coalition logic', Synthese, 165(2), 269-294, (2008).
3. R. Alur, T. A. Henzinger, and O. Kupferman, 'Alternating-time Temporal Logic', Journal of the ACM, 49, 672-713, (2002).
4. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
5. N. Bulling and J. Dix, 'Modelling and verifying coalitions using argumentation and ATL', Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 14(46), 45-73, (2010).
6. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen, 'From SHIQ and RDF to OWL: The making of a web ontology language', Journal of Web Semantics, 1(1), 7-26, (2003).
7. C. Lutz, F. Wolter, and M. Zakharyaschev, 'Temporal description logics: A survey (with appendix)', in Proceedings of TIME'08, (2008).
8. M. Pauly, Logic for Social Software, Ph.D. dissertation, University of Amsterdam, 2001.
9. A. Pnueli and R. Rosner, 'Distributed reactive systems are hard to synthesize', in Proceedings of the 31th Annual Symposium on Foundations of Computer Science (FOCS), pp. 746-757. IEEE Computer Society Press, (1990).
10. İ. Seylan and W. Jamroga, 'Coalition description logic for individuals', in Proceedings of the 6th Workshop on Methods for Modalities M4M-6, pp. 146-162, (2009).
11. İ. Seylan and W. Jamroga, 'Description logic for coalitions', in Proceedings of AAMAS'09, pp. 425-432, (2009).
12. Y. Wang and F. Dechesne, 'On expressive power and class invariance', CoRR, abs/0905.4332, (2009).