On the complexity of extension checking in default logic.

Paolo Liberatore

Published in: Inf. Process. Lett. (2006)

Keyphrases

default logic
default theories
nonmonotonic reasoning
default reasoning
logic programming
nonmonotonic logics
autoepistemic logic
truth maintenance systems
default rules
modal logic
fixed point
higher order
databases
high level
knowledge representation