Login / Signup
Complexity of the Unique Extension Problem in Default Logic.
Xishun Zhao
Paolo Liberatore
Published in:
Fundam. Informaticae (2002)
Keyphrases
</>
default logic
default theories
nonmonotonic reasoning
nonmonotonic logics
autoepistemic logic
default reasoning
logic programming
default rules
modal logic
fixed point
classical logic
truth maintenance systems
defeasible logic
database systems
commonsense reasoning