Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.
Manh Thang NguyenDanny De SchreyePublished in: ICLP (2005)
Keyphrases
- logic programs
- termination analysis
- logic programming
- active rules
- answer set programming
- answer sets
- stable models
- active databases
- fixpoint
- computational properties
- partial deduction
- normal logic programs
- prolog programs
- deductive databases
- data structure
- integrity constraints
- stable model semantics
- strong equivalence
- data types
- propositional theories
- semantics of logic programs