On Satisfiability in ATL with Strategy Contexts.

Nicolas Troquard Dirk Walther

Published in: JELIA (2012)

Keyphrases

satisfiability problem
multi agent systems
information systems
phase transition
real world
decision procedures
computational complexity
np complete
model checking
temporal logic
search algorithm
artificial intelligence
propositional logic
selection strategy
optimal strategy
sat problem
real time