Reexecution-Based Analysis of Logic Programs with Delay Declarations.

Agostino Cortesi Baudouin Le Charlier Sabina Rossi

Published in: Ershov Memorial Conference (2001)

Keyphrases

logic programs
logic programming
answer sets
background knowledge
inductive logic programming
answer set programming
fixpoint
normal logic programs
functional programs
artificial intelligence
prolog programs
partial deduction
term rewriting systems
logic program updates