C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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