884 search results - page 108 / 177 » Using Nested Logic Programs for Answer Set Programming |
136
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
131
click to vote
FUIN
2010
14 years 11 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
110
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
139
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
242
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...