Alternative Approaches to Default Logic.

James P. Delgrande Torsten Schaub W. Ken Jackson

Published in: Artif. Intell. (1994)

Keyphrases

alternative approaches
default logic
default theories
default reasoning
nonmonotonic reasoning
logic programming
autoepistemic logic
nonmonotonic logics
default rules
modal logic
fixed point
classical logic
extended logic programs
defeasible logic
truth maintenance systems
inference rules