Proving Existential Termination of Normal Logic Programs.
Massimo MarchioriPublished in: AMAST (1996)
Keyphrases
- normal logic programs
- term rewrite systems
- logic programs
- stable models
- answer sets
- default reasoning
- logic programming
- query answering
- answer set programming
- answer set semantics
- stable model semantics
- general purpose
- deductive databases
- database systems
- automated reasoning
- fixpoint
- knowledge representation and reasoning
- general logic programs
- search space