Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time.
Valentin GorankoDmitry ShkatovPublished in: MALLOW (2009)
Keyphrases
- proof procedure
- multi agent
- tableau calculus
- epistemic logic
- theorem proving
- propositional logic
- modal logic
- multi agent systems
- multiagent systems
- description logics
- automated theorem proving
- predicate calculus
- temporal reasoning
- decision making
- knowledge base
- first order logic
- cooperative
- decision rules
- decision makers
- proof search
- temporal logic
- autonomous agents
- predicate logic
- logic programming