Comparing variants of strategic ability

Authors:
Wojciech Jamroga;Nils Bulling
Affiliations:
Computer Science and Communication, University of Luxembourg;Department of Informatics, Clausthal University of Technology, Germany
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Year:
2011

Citing 10
Cited 2

Alternating-time temporal logic

Journal of the ACM (JACM)
Approximating ATL* in ATL

VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Complete axiomatization and decidability of alternating-time temporal logic

Theoretical Computer Science
On the complexity of practical ATL model checking

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Agents that Know How to Play

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Alternating-time temporal logics with irrevocable strategies

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Model Checking Abilities of Agents: A Closer Look

Theory of Computing Systems
ATL* Satisfiability Is 2EXPTIME-Complete

ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
A Logic of Strategic Ability Under Bounded Memory

Journal of Logic, Language and Information
A logical theory of coordination and joint ability

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

State and path coalition effectivity models for logics of multi-player games

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show that different semantics of ability in ATL give rise to different validity sets. As a consequence, different notions of ability induce different strategic logics and different general properties of games. Moreover, the study can be seen as the first systematic step towards satisfiability-checking algorithms for ATL with imperfect information.