Login / Signup

Complexity of Prioritized Default Logics.

Jussi Rintanen
Published in: J. Artif. Intell. Res. (1998)
Keyphrases
  • default logic
  • default theories
  • nonmonotonic reasoning
  • logic programming
  • default reasoning
  • autoepistemic logic
  • dynamic programming