OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)

Grossi, Davide and Lorini, Emiliano and Schwarzentruber, François The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). (2017) In: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 19 August 2017 - 25 August 2017 (Melbourne, Australia).

(Document in English)

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

Official URL: https://doi.org/10.24963/ijcai.2017/710


We present a simple Ceteris Paribus Logic (CP) and study its relationship with existing logics that deal with the representation of choice and power in games in normal form including atemporal STIT, Coalition Logic of Propositional Control (CL-PC) and Dynamic Logic of Propositional Assignments (DL-PA). Thanks to the polynomial reduction of the satisfiability problem for atemporal STIT in the satisfiability problem for CP, we obtain a complexity result for the latter problem.

Item Type:Conference or Workshop Item (Paper)
Additional Information:https://www.ijcai.org/proceedings/2017/0710.pdf
HAL Id:hal-02319717
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 > Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE)
Other partners > University of Liverpool (UNITED KINGDOM)
Laboratory name:
Deposited On:09 Oct 2019 14:11

Repository Staff Only: item control page