Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Valentin GorankoDmitry ShkatovPublished in: CoRR (2008)
Keyphrases
- decision procedures
- modal logic
- multi agent systems
- theorem proving
- automated reasoning
- coalition logic
- reasoning problems
- proof procedure
- inference rules
- model theoretic
- temporal logic
- conjunctive queries
- description logics
- satisfiability problem
- quantified boolean formulas
- expressive power
- tight complexity bounds
- databases
- knowledge management
- knowledge representation
- multi agent
- machine learning