Default Consequence Relations as a Logical Framework for Logic Programs.
Alexander BochmanPublished in: LPNMR (1995)
Keyphrases
- logical framework
- logic programs
- logic programs with negation
- reasoning tasks
- logic programming
- answer set programming
- stable models
- inference rules
- answer sets
- fixpoint
- belief revision
- computational properties
- stable model semantics
- prolog programs
- partial deduction
- default logic
- strong equivalence
- knowledge base
- computational problems
- description logics