170 search results - page 2 / 34 » Bisimilarity in Concurrent Constraint Programming |
CONSTRAINTS
2008
13 years 5 months ago
2008
ICALP
2007
Springer
13 years 12 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
PPDP
2010
Springer
13 years 3 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
AGP
2010
IEEE
13 years 3 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,...
PPDP
2009
Springer
14 years 9 days ago
2009
Springer