Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Valentin GorankoDmitry ShkatovPublished in: CoRR (2009)
Keyphrases
- epistemic logic
- multi agent
- multi agent systems
- model checking
- modal logic
- multiagent systems
- dynamic epistemic logic
- satisfiability problem
- inference rules
- cooperative
- logical framework
- model checker
- description logics
- formal semantics
- computation tree logic
- computational complexity
- mathematical theory
- multi faceted
- bayesian networks
- propositional logic
- multiple agents
- belief revision
- probability distribution
- search algorithm
- bounded model checking
- artificial intelligence