Login / Signup

Unifying Various Approaches to Default Logic.

Yves Moinard
Published in: IPMU (1992)
Keyphrases
  • default logic
  • nonmonotonic reasoning
  • nonmonotonic logics
  • logic programming
  • default reasoning
  • autoepistemic logic
  • default theories
  • logic programs
  • expressive power
  • classical logic
  • defeasible logic