4513 search results - page 67 / 903 » Logic programming with satisfiability |
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
112
click to vote
CP
2005
Springer
15 years 7 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...
144
click to vote
ASP
2003
Springer
15 years 6 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...
145
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
ICALP
2010
Springer
15 years 3 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...