Yet some more complexity results for default logic.

Rachel Ben-Eliyahu-Zohary

Published in: Artif. Intell. (2002)

Keyphrases

default logic
nonmonotonic reasoning
default theories
nonmonotonic logics
logic programming
default rules
default reasoning
autoepistemic logic
fixed point
modal logic
extended logic programs
defeasible logic
possibility theory
classical logic