Using Safe Approximations of Fixed Points for Analysis of Logic Programs.

Michael Codish John P. Gallagher Ehud Shapiro

Published in: META (1988)

Keyphrases

logic programs
fixed point
logic programming
answer sets
answer set programming
fixpoint
stable models
normal logic programs
inductive logic programming
machine learning
background knowledge
free energy
term rewriting systems
optimal solution
partial deduction