How to Prefer More Specific Defaults in Terminological Default Logic.

Franz Baader Bernhard Hollunder

Published in: IJCAI (1993)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
autoepistemic logic
default rules
nonmonotonic logics
fixed point
modal logic
knowledge base
extended logic programs
databases
event calculus
background knowledge
object oriented
training set
machine learning