State and Path Effectivity Models for Logics of Multi-Player Games

Goranko, Valentin; Jamroga, Wojciech

Request a copy

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

State and Path Effectivity Models for Logics of Multi-Player Games

Goranko, Valentin; Jamroga, Wojciech

2012 • In Proceedings of AAMAS 2012

Peer reviewed

Permalink
https://hdl.handle.net/10993/11183

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

ATLeffectivity12aamas-final-120420VG.pdf

Author preprint (364.59 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Identifiers :

UNILU:UL-CONFERENCE-2012-541

Author, co-author :

Goranko, Valentin; Technical University of Denmark

Jamroga, Wojciech ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Language :

English

Title :

State and Path Effectivity Models for Logics of Multi-Player Games

Publication date :

2012

Event name :

AAMAS 2012

Event place :

Valencia, Spain

Event date :

May 2012

Audience :

International

Main work title :

Proceedings of AAMAS 2012

Publisher :

Springer

ISBN/EAN :

978-0-9817381-3-0

Pages :

1123-1130

Peer reviewed :

Peer reviewed

Commentary :

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012

Available on ORBilu :

since 18 November 2013

Statistics

Number of views

51 (1 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

N. Alechina, B. Logan, N. Nga, and A. Rakib. A logic for coalitions with bounded resources. In Proceedings of IJCAI, pages 659-664, 2009.
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of FOCS, pages 100-109, 1997.
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139(2):241-280, 2004.
V. Goranko, W. Jamroga, and P. Turrini. Strategic games and truly playable effectivity functions. In Proceedings of AAMAS2011, pages 727-734, 2011.
W. Jamroga and N. Bulling. Comparing variants of strategic ability. In Proceedings of IJCAI-11, pages 252-257, 2011.
H. Moulin and B. Peleg. Cores of effectivity functions and implementation theory. Journal of Mathematical Economics, 10(1):115-145, 1982.
M. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, 1994.
M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001.
P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2):82-93, 2004.