Login / Signup
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Yves Moinard
Published in:
CoRR (2002)
Keyphrases
</>
tableau calculus
nonmonotonic reasoning
description logics
knowledge base
possibility theory
nonmonotonic inference
van der
default reasoning
minimal models
logic programming
belief revision
conditional logic
default rules
default logic
commonsense reasoning
belief networks
decision trees