OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

On Logics of Strategic Ability based on Propositional Control

Belardinelli, Francesco and Herzig, Andreas On Logics of Strategic Ability based on Propositional Control. (2016) In: 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 9 July 2016 - 15 July 2016 (New York, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://www.ijcai.org/Proceedings/16/Papers/021.pdf


Recently logics for strategic ability have gained pre-eminence in the modelisation and analysis of game-theoretic scenarios. In this paper we provide a contribution to the comparison of two popular frameworks: Concurrent Game Structures (CGS) and Coalition Logic of Propositional Control (CLPC). Specifically, we ground the abstract abilities of agents in CGS on Propositional Control, thus obtaining a class of CGS that has the same expressive power as CL-PC.We study the computational properties of this setting. Further, we relax some of the assumptions of CL-PC so as to introduce a wider class of computationally-grounded CGS.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AAAI Press. This papers appears in IJCAI'16 ISBN 978-1-57735-770-4 (volumes 1-3) ISBN 978-1-57735-771-1 (volumes 4-6) The definitive version is available at: https://www.ijcai.org/proceedings/2016 and http://dl.acm.org/citation.cfm?id=3060635
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université d'Évry-Val-d'Essonne - UEVE (FRANCE)
Laboratory name:
Deposited On:28 Apr 2017 13:49

Repository Staff Only: item control page