Norms on Terms and their use in Proving Universal Termination of a Logic Program.
Annalisa BossiNicoletta CoccoMassimo FabrisPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- logic programs
- logic programming
- background knowledge
- answer sets
- fixpoint
- answer set programming
- stable models
- prolog programs
- logic program updates
- function symbols
- inductive logic programming
- normal logic programs
- loop formulas
- inside outside algorithm
- horn clauses
- orders of magnitude
- partial deduction
- semantic web
- knowledge representation