3470 search results - page 161 / 694 » Head-Elementary-Set-Free Logic Programs |
171
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
156
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
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...
193
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
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...