Efficient Reasoning in Multiagent Epistemic Logics.

Gerhard Lakemeyer Yves Lespérance

Published in: ECAI (2012)

Keyphrases

multi agent
cooperative
computationally expensive
expressive power
automated reasoning
knowledge representation
proof theory
database
machine learning
artificial intelligence
knowledge base
case based reasoning
intelligent agents
computational properties
reasoning systems
proof theoretic