A General Framework for Automatic Termination Analysis of Logic Programs.
Nachum DershowitzNaomi LindenstraussYehoshua SagivAlexander SerebrenikPublished in: Appl. Algebra Eng. Commun. Comput. (2001)
Keyphrases
- logic programs
- termination analysis
- logic programming
- active rules
- answer sets
- active databases
- stable models
- fixpoint
- answer set programming
- term rewriting systems
- computational properties
- partial deduction
- prolog programs
- normal logic programs
- artificial intelligence
- deductive databases
- strong equivalence
- data exchange
- high level
- stable model semantics
- database