Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.
Valentin GorankoDmitry ShkatovPublished in: LFCS (2009)
Keyphrases
- epistemic logic
- multi agent
- multi agent systems
- modal logic
- model checking
- dynamic epistemic logic
- computation tree logic
- inference rules
- logical framework
- multi faceted
- multiagent systems
- satisfiability problem
- propositional logic
- formal semantics
- mathematical theory
- cooperative
- first order logic
- temporal logic
- autonomous agents
- description logics
- computational complexity
- coalition formation
- reinforcement learning
- web services