Browse our site
You are here:
Comparing Variants of Strategic Ability
CENTRIA seminar: Comparing Variants of Strategic Ability
Wojtek Jamroga (University of Luxembourg)
Wednesday, 12th of September 2012, 14h00
FCT/UNL, Seminar Room (Ed. II)
Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents' abilities in game-like scenarios. Semantic variants of ATL are usually built upon different assumptions about the kind of game that is played, including capabilities of agents (perfect vs. imperfect information, perfect vs. imperfect
memory, etc.). We show that different semantics of ability give rise to different classes of games, and study their relationship.
Wojtek Jamroga is a research associate at the University of Luxembourg and a visiting professor at the Polish-Japanese IT Institute. He works mainly in the area of multi-agent systems. His research is focused on modal logics for reasoning about agents and game-theoretic analysis of MAS.
Wojtek Jamroga obtained his PhD from the University of Twente (Netherlands) in 2004, and completed his habilitation at the Clausthal University of Technology (Germany) in 2009.
He has coauthored over 40 refereed publications, and is a Program Committee member of most important conferences and workshops in multi-agent systems. His teaching record includes courses at ESSLLI (European Summer School in Logic, Language and Information), and EASSS (European Agent Systems Summer School), all of them on logical aspects of multi-agent systems.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541