Sciweavers

3691 search results - page 33 / 739
» Bayesian Logic Programs
Sort
View
184
Voted
POPL
2008
ACM
16 years 1 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
POPL
2005
ACM
16 years 1 months ago
Separation logic and abstraction
Matthew J. Parkinson, Gavin M. Bierman
92
Voted
ESOP
2010
Springer
15 years 10 months ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
105
Voted
CP
2005
Springer
15 years 6 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
129
Voted
ASP
2003
Springer
15 years 6 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