16 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.PL2001
Properties of Input-Consuming Derivations
Annalisa Bossi, Sandro Etalle, Sabina Rossi
We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic schedu…
cs.LO2000★ 16 cited
On Modular Termination Proofs of General Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle +1
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows…