1613 search results - page 13 / 323 » Functional and Constraint Logic Programming |
177
Voted
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
212
Voted
LOGCOM
2011
14 years 9 months ago
2011
231
Voted
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
147
Voted
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
155
Voted
ESOP
2010
Springer
16 years 3 months ago
2010
Springer