Login / Signup
Analysis of Constraint Logic Programs.
Kim Marriott
Harald Søndergaard
Published in:
NACLP (1990)
Keyphrases
</>
fixpoint
logic programs
logic programming
stable models
answer sets
answer set programming
normal logic programs
background knowledge
computational properties
inductive logic programming
stable model semantics
logic program updates
prolog programs
linear constraints
monotonicity constraints
strong equivalence