Checking termination of bottom-up evaluation of logic programs with function symbols.
Marco CalauttiSergio GrecoFrancesca SpezzanoIrina TrubitsynaPublished in: Theory Pract. Log. Program. (2015)
Keyphrases
- logic programs
- function symbols
- logic programming
- answer set programming
- stable models
- answer sets
- fixpoint
- consistency checking
- horn clauses
- partial deduction
- background knowledge
- strong equivalence
- inductive logic programming
- normal logic programs
- nonmonotonic reasoning
- semantics of logic programs
- high level
- situation calculus
- search strategies
- normal form
- data types