Linking Makinson and Kraus-Lehmann-Magidor preferential entailments.

Published in: ECAI (2002)

Keyphrases

tableau calculus
description logics
knowledge base
nonmonotonic reasoning
van der
minimal models
nonmonotonic inference
belief revision
machine learning
learning algorithm
website
decision trees
propositional logic
default reasoning
possibility theory
commonsense reasoning