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 257kB |
Official URL: https://www.ijcai.org/Proceedings/16/Papers/021.pdf
Abstract
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: | |
Statistics: | download |
Deposited On: | 28 Apr 2017 13:49 |
Repository Staff Only: item control page