The Fixed Points of Logic Programs with Herbrand Base N.
William F. DowlingRobert KlinePublished in: Theor. Comput. Sci. (1990)
Keyphrases
- logic programs
- fixed point
- logic programming
- linear logic
- answer sets
- background knowledge
- fixpoint
- prolog programs
- computational properties
- belief propagation
- stable models
- sufficient conditions
- answer set programming
- inductive logic programming
- normal logic programs
- declarative semantics
- horn clauses
- function symbols
- partial deduction
- dynamical systems
- pairwise
- stable model semantics
- logic programming language
- free energy
- image segmentation