An Efficient and Precise Sharing Domain for Logic Programs.

Christian Fecht

Published in: PLILP (1996)

Keyphrases

logic programs
logic programming
answer sets
background knowledge
answer set programming
fixpoint
stable models
computational properties
partial deduction
prolog programs
inductive logic programming
normal logic programs
logic program updates
reasoning tasks
query language
general purpose