Termination Proofs for Logic Programs with Tabling
Sofie VerbaetenDanny De SchreyeKonstantinos SagonasPublished in: CoRR (2000)
Keyphrases
- logic programs
- logic programming
- logic programming language
- answer set programming
- answer sets
- fixpoint
- nonmonotonic reasoning
- deductive databases
- normal logic programs
- inductive logic programming
- theorem prover
- theorem proving
- stable models
- background knowledge
- prolog programs
- computational properties
- stable model semantics
- stochastic logic programs
- classical logic
- reasoning tasks
- strong equivalence
- probabilistic reasoning
- partial deduction
- term rewriting systems
- logic program updates
- constraint logic programming
- autoepistemic logic
- function symbols
- computational problems