6554 search results - page 112 / 1311 » Constraint Logic Programming |
200
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...
165
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
158
click to vote
CHES
2005
Springer
15 years 11 months ago
2005
Springer
During the last years, several logic styles that counteract side-channel attacks have been proposed. They all have in common that their level of resistance heavily depends on imple...
148
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
128
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. We introduce...