Opening book details…
Can I read Tableau-based Decision Procedures for Logics of Strategic Ability in Multiagent Systems on EtoBox?
Tableau-based Decision Procedures for Logics of Strategic Ability in Multiagent Systems by Valentin Goranko; Dmitry Shkatov is a Computer Science article available to read on EtoBox.
What is Tableau-based Decision Procedures for Logics of Strategic Ability in Multiagent Systems about?
We develop an incremental tableau-based decision procedure for the alternating-time temporal logic ATL and some of its variants. While running within the theoretically established complexity upper bound, we believe that our tableaux are 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.
Who reads Tableau-based Decision Procedures for Logics of Strategic Ability in Multiagent Systems?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Valentin Goranko; Dmitry Shkatov
- Publisher
- ACM
- Published
- 2009
- Language
- EN
- Field
- Computer Science (Physical Sciences)