434 search results - page 4 / 87 » A Distributed and Probabilistic Concurrent Constraint Progra... |
113
Voted
PSC
1992
15 years 6 months ago
1992
113
click to vote
UAI
2003
15 years 3 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
127
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
184
click to vote
ECOOP
1992
Springer
15 years 6 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
109
Voted
PPDP
2010
Springer
15 years 5 days 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...