Login / Signup
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation.
Maurice Bruynooghe
Bart Demoen
Dmitri Boulanger
Marc Denecker
Anne Mulkers
Published in:
SAS (1996)
Keyphrases
</>
logic programs
logic programming
answer sets
background knowledge
answer set programming
term rewriting systems
normal logic programs
expressive power
fixpoint
stable models
computational properties
inductive logic programming
partial deduction