Extended Logic Programs as Autoepistemic Theories.
Vladimir LifschitzGrigori SchwarzPublished in: LPNMR (1993)
Keyphrases
- extended logic programs
- default logic
- defeasible logic
- nonmonotonic logics
- nonmonotonic reasoning
- default theories
- logic programming
- default reasoning
- modal logic
- conflict resolution
- incomplete information
- fixed point
- rule base
- logic programs
- answer sets
- knowledge representation and reasoning
- artificial intelligence
- legal reasoning
- machine learning
- fixpoint
- temporal logic
- knowledge representation