A Graph-Theoretic Approach to Default Logic

Yannis Dimopoulos Vangelis Magirou

Published in: Inf. Comput. (1994)

Keyphrases

default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
nonmonotonic logics
autoepistemic logic
modal logic
fixed point
default rules
defeasible logic
extended logic programs
image segmentation
relational databases
classical logic