Login / Signup

Conservative Expansion Concepts for Default Theories.

Grigoris AntoniouCara MacNishNorman Y. Foo
Published in: PRICAI (1996)
Keyphrases
  • default theories
  • default logic
  • nonmonotonic logics
  • answer set programming
  • default reasoning
  • database
  • graphical models
  • revision operators
  • data model
  • background knowledge
  • autoepistemic logic
  • default rules