A New Approach to Non-termination Analysis of Logic Programs.
Dean VoetsDanny De SchreyePublished in: ICLP (2009)
Keyphrases
- logic programs
- termination analysis
- active rules
- logic programming
- active databases
- answer sets
- deductive databases
- stable models
- fixpoint
- answer set programming
- computational properties
- normal logic programs
- partial deduction
- strong equivalence
- loop formulas
- integrity constraints
- stable model semantics
- business rules
- software engineering
- semantics of logic programs