Sciweavers

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