Finding Explanations of Inconsistency in Multi-Context Systems.

Thomas Eiter Michael Fink Peter Schüller Antonius Weinzierl

Published in: KR (2010)

Keyphrases

multi context systems
bdi agents
cooperative
information flow
data mining
artificial intelligence
knowledge representation
object oriented
general purpose
information sources
intelligent agents
first order logic
propositional logic
classical logic
generating explanations