Reuse of Results in Termination Analysis of Typed Logic Programs.
Maurice BruynoogheMichael CodishSamir GenaimWim VanhoofPublished in: SAS (2002)
Keyphrases
- logic programs
- termination analysis
- active rules
- active databases
- logic programming
- answer sets
- answer set programming
- fixpoint
- stable models
- computational properties
- deductive databases
- partial deduction
- stable model semantics
- normal logic programs
- strong equivalence
- object oriented databases
- prolog programs
- knowledge management
- database systems