Sciweavers

8766 search results - page 110 / 1754
» Functional logic programming
Sort
View
95
Voted
JMLR
2012
13 years 5 months ago
Learning Fourier Sparse Set Functions
Peter Stobbe, Andreas Krause
202
Voted
POPL
2008
ACM
16 years 2 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
201
Voted
POPL
2005
ACM
16 years 2 months ago
Separation logic and abstraction
Matthew J. Parkinson, Gavin M. Bierman
122
Voted
CP
2005
Springer
15 years 8 months ago
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
Kish Shen, Joachim Schimpf
156
Voted
ASP
2003
Springer
15 years 7 months ago
Translation of Aggregate Programs to Normal Logic Programs
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe