Uncontroversial Default Logic.

Paolo Liberatore

Published in: J. Log. Comput. (2004)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
nonmonotonic logics
autoepistemic logic
default rules
modal logic
fixed point
extended logic programs
classical logic
databases
commonsense reasoning