Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.
Mai AjspurValentin GorankoDmitry ShkatovPublished in: Log. J. IGPL (2013)
Keyphrases
- epistemic logic
- multi agent
- dynamic epistemic logic
- computation tree logic
- cooperative
- multi agent systems
- model checking
- modal logic
- decision making
- distributed systems
- knowledge acquisition
- knowledge based systems
- knowledge base
- logical framework
- inference rules
- autonomous agents
- multiagent systems
- multi faceted
- logic programming
- decision makers
- knowledge representation