Alternative foundations for Reiter's default logic.

Thomas Linke Torsten Schaub

Published in: Artif. Intell. (2000)

Keyphrases

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