Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.

Thomas Eiter Michael Fink Peter Schüller

Published in: LPNMR (2011)

Keyphrases

multi context systems
information flow
propositional logic
bdi agents
classical logic
information systems
learning algorithm
object oriented
intrusion detection
nonmonotonic logics