Efficient Analysis of Concurrent Constraint Logic Programs.

Michael Codish Moreno Falaschi Kim Marriott William H. Winsborough

Published in: ICALP (1993)

Keyphrases

logic programs
logic programming
stable models
answer set programming
fixpoint
answer sets
artificial intelligence
background knowledge
inductive logic programming
horn clauses
answer set semantics
loop formulas
partial deduction
term rewriting systems