C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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