On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.

Paul Tarau Koenraad De Bosschere Bart Demoen

Published in: J. Log. Program. (1997)

Keyphrases

logic programs
logic programming
fixpoint semantics
answer sets
fixpoint
stable models
background knowledge
answer set programming
inductive logic programming
computational properties
theorem proving
theorem prover
normal logic programs
partial deduction
stable model semantics
expert systems
term rewriting systems