Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Tableau-based decision procedures for logics of strategic ability in
  multi-agent systems   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.

31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph