A Default Logic Patch for Default Logic.

Philippe Besnard Éric Grégoire Sébastien Ramon

Published in: ECSQARU (2009)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
autoepistemic logic
default rules
modal logic
nonmonotonic logics
fixed point
database
classical logic
truth maintenance systems
extended logic programs