When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
Yifeng DingWesley H. HollidayCedegao ZhangPublished in: TARK (2019)
Keyphrases
- multi agent
- knowledge base
- cognitive agents
- kripke models
- multi agent decision making
- cooperative
- knowledge representation
- multi agent systems
- intelligent agents
- modal logic
- coalition formation
- first order logic
- multi agent coordination
- reinforcement learning
- computational properties
- agent oriented
- machine learning
- nonmonotonic inference
- qualitative reasoning
- reasoning process
- probabilistic logic
- multiple agents
- autoepistemic logic
- team formation
- belief change
- default reasoning
- model based diagnosis
- logic programs