Expressing Default Logic Variants in Default Logic.

James P. Delgrande Torsten Schaub

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

Keyphrases

default logic
default theories
nonmonotonic reasoning
default reasoning
autoepistemic logic
logic programming
fixed point
modal logic
nonmonotonic logics
default rules
knowledge base
image segmentation
relational databases
higher order
constraint propagation
classical logic