Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols.
Marco CalauttiSergio GrecoFrancesca SpezzanoIrina TrubitsynaPublished in: CoRR (2014)
Keyphrases
- logic programs
- function symbols
- logic programming
- answer set programming
- fixpoint
- answer sets
- stable models
- consistency checking
- background knowledge
- horn clauses
- first order logic
- partial deduction
- normal logic programs
- strong equivalence
- nonmonotonic reasoning
- inductive logic programming
- normal form
- database design
- general purpose
- semantics of logic programs
- knowledge representation