6554 search results - page 142 / 1311 » Constraint Logic Programming |
147
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
206
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
168
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
152
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
Constraint based draw programs require users to understand and manage relationships between drawing elements. By establishing constraint relationships among elements the user effe...