Uncontroversial Default Logic.

Paolo Liberatore

Published in: ECAI (2002)

Keyphrases

default logic
default theories
nonmonotonic reasoning
default reasoning
logic programming
nonmonotonic logics
autoepistemic logic
modal logic
default rules
fixed point
classical logic
database
databases
extended logic programs
expert systems
belief functions