Login / Signup
Horn Complements: Towards Horn-to-Horn Belief Revision.
Marina Langlois
Robert H. Sloan
Balázs Szörényi
György Turán
Published in:
AAAI (2008)
Keyphrases
</>
belief revision
propositional logic
np hard
belief change
default reasoning
special case
possibilistic logic
conditional logic
knowledge base
lower bound
decision makers
nonmonotonic reasoning
horn clauses
knowledge compilation