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

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

2008-03-15

arxiv.org/abs/0803.2306v2

Computer Science

Logic in Computer Science

To appear in ACM Transactions on Computational Logic. 48 pages

Scientific paper

We 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.

Affiliated with

Also associated with

No associations

Rating

Tableau-based decision procedures for logics of strategic ability in multi-agent systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tableau-based decision procedures for logics of strategic ability in multi-agent systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tableau-based decision procedures for logics of strategic ability in multi-agent systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-438791