A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints.
Michael CodishCohavit TabochPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- logic programs
- termination analysis
- logic programming
- semantic properties
- computational properties
- fixpoint
- answer sets
- stable models
- active rules
- active databases
- answer set programming
- semantic knowledge
- high level
- semantic web
- stable model semantics
- normal logic programs
- partial deduction
- deductive databases
- natural language
- strong equivalence
- artificial intelligence
- integrity constraints
- database