213 search results - page 22 / 43 » Automated Termination Analysis for Logic Programs with Cut |
107
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
105
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
113
click to vote
ICFP
2005
ACM
15 years 7 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
207
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
107
click to vote
LPNMR
1997
Springer
15 years 5 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...