Login / Signup
Proof Complexity of Propositional Default Logic.
Olaf Beyersdorff
Arne Meier
Sebastian Müller
Michael Thomas
Heribert Vollmer
Published in:
Circuits, Logic, and Games (2010)
Keyphrases
</>
default logic
default theories
nonmonotonic reasoning
default reasoning
autoepistemic logic
logic programming
nonmonotonic logics
fixed point
modal logic
classical logic
default rules
truth maintenance systems
object oriented
expressive power
theorem prover
decision procedures