3572 search results - page 41 / 715 » Nominal Logic Programming |
178
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
91
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
102
Voted
CP
2005
Springer
15 years 6 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...
126
Voted
ASP
2003
Springer
15 years 5 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...