13 search results - page 1 / 3 » iclp 1999 |
ICLP
1999
Springer
13 years 9 months ago
1999
Springer
ICLP
1999
Springer
13 years 9 months ago
1999
Springer
ICLP
1999
Springer
13 years 9 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
ICLP
1999
Springer
13 years 9 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...
ICLP
1999
Springer
13 years 9 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...