3535 search results - page 5 / 707 » Logic Program Specialisation |
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
103
click to vote
FLOPS
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
114
click to vote
DIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
127
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...