Login / Signup
A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics.
Patrick Rodler
Published in:
CoRR (2016)
Keyphrases
</>
knowledge base
virtual reality
theoretical framework
modal logic
knowledge representation
user interaction
computer graphics
bayesian networks
expressive power
inference rules
general theory
theory revision
expert systems
description logics
data sets
user friendly
knowledge sources
proof theory
proof theoretic