Studying Properties of Classes of Default Logics - Preliminary Report.

Grigoris Antoniou Tyrone O'Neill Joe Thurbon

Published in: PRICAI (1996)

Keyphrases

default logic
nonmonotonic reasoning
autoepistemic logic
default reasoning
default theories
logic programming
desirable properties
image segmentation
dynamic programming
higher order
fixed point
truth maintenance systems
disjunctive logic programs