Sharing Analysis Using Set Logic Programs.

Francisco Bueno Michael Codish Vitaly Lagoon

Published in: ICLP (1997)

Keyphrases

logic programs
stable models
logic programming
answer sets
definite clause
inductive logic programming
background knowledge
answer set programming
horn clauses
fixpoint
computational properties
stable model semantics
minimal models
functional programs
propositional theories
partial deduction
logic program updates