Login / Signup
Complexity Results for 2CNF Default Theories.
Xishun Zhao
Decheng Ding
Published in:
Fundam. Informaticae (2001)
Keyphrases
</>
default theories
default logic
computational complexity
nonmonotonic reasoning
autoepistemic logic
default reasoning
databases
artificial intelligence
natural language
np hard
general purpose
higher order
logic programming
answer set programming
nonmonotonic logics
default rules