Tableau-based decision procedures for logics of strategic ability in multiagent systems.
Valentin GorankoDmitry ShkatovPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- multiagent systems
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- multi agent
- multiagent planning
- autonomous agents
- temporal logic
- satisfiability problem
- conjunctive queries
- description logics
- model theoretic
- multiagent reinforcement learning
- coalition formation
- multi agent systems
- cooperative
- special case
- heuristic search
- inference rules
- decentralized control