Non-Termination Inference for Optimal Termination Conditions of Logic Programs.
Frédéric MesnardÉtienne PayetUlrich NeumerkelPublished in: JFPLC (2002)
Keyphrases
- logic programs
- logic programming
- answer sets
- stable models
- answer set programming
- fixpoint
- background knowledge
- partial deduction
- normal logic programs
- abductive reasoning
- prolog programs
- term rewriting systems
- inductive logic programming
- bayesian networks
- optimal solution
- functional programs
- logic program updates
- horn clauses
- loop formulas
- recursive programs
- belief networks
- sufficient conditions
- computational properties
- default logic
- expert systems