Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.
Valentin GorankoDmitry ShkatovPublished in: SEFM (2008)
Keyphrases
- multi agent
- epistemic logic
- dynamic epistemic logic
- multi agent systems
- cooperative
- computation tree logic
- modal logic
- knowledge base
- knowledge representation
- model checking
- representing knowledge
- decision making
- description logics
- distributed systems
- reinforcement learning
- expert systems
- formal semantics
- mathematical theory
- bayesian networks