Proof Complexity of Propositional Default Logic.

Olaf Beyersdorff Arne Meier Sebastian Müller Michael Thomas Heribert Vollmer

Published in: SAT (2010)

Keyphrases

default logic
autoepistemic logic
default reasoning
logic programming
nonmonotonic reasoning
default theories
nonmonotonic logics
default rules
modal logic
fixed point
defeasible logic
logic programs
sufficient conditions
knowledge representation
fuzzy sets
answer set programming