Tableau-based decision procedures for logics of strategic ability in multi-agent systems

Simple item page
dc.creatorGoranko, Valentin
dc.creatorShkatov, Dmitry
dc.date2008-03-15
dc.date2008-09-09
dc.date.accessioned2026-07-07T10:01:10Z
dc.date.available2026-07-07T10:01:10Z
dc.descriptionWe develop an incremental tableau-based decision procedures for the Alternating-time temporal logic ATL and some of its variants. While running within the theoretically established complexity upper bound, we claim that our tableau is practically more efficient in the average case than other decision procedures for ATL known so far. Besides, the ease of its adaptation to variants of ATL demonstrates the flexibility of the proposed procedure.
dc.descriptionTo appear in ACM Transactions on Computational Logic. 48 pages
dc.identifierhttps://arxiv.org/abs/0803.2306
dc.identifierhttp://arxiv.org/abs/0803.2306
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/168547
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectMultiagent Systems
dc.subjectF.4.1; I.2.3; I.2.4; I.2.11
dc.titleTableau-based decision procedures for logics of strategic ability in multi-agent systems
dc.typetext

Files

Collections

arXiv