Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
Marco CalauttiSergio GrecoCristian MolinaroIrina TrubitsynaPublished in: RuleML (2014)
Keyphrases
- linear constraints
- function symbols
- logic programs
- logic programming
- stable models
- answer set programming
- fixpoint
- answer sets
- background knowledge
- equality constraints
- consistency checking
- inductive logic programming
- horn clauses
- convex sets
- reasoning tasks
- bayesian networks
- automated reasoning
- database
- normal form
- domain knowledge
- answer set semantics
- relational databases