Constraint Logic Programming: A Survey

by Joxan Jaffar , Michael J. Maher
Citations:704 - 20 self

Active Bibliography

67 Hierarchical Constraint Logic Programming – Molly Ann Wilson - 1993
Constraint Programming – The Constraint Programming Working Group - 1996
Constraint Programming – The Constraint Programming
22 Constraint Databases: A Survey – Peter Z. Revesz - 1998
94 Practical Applications of Constraint Programming – Mark Wallace - 1996
137 Constraint Hierarchies – Alan Borning, Bjorn Feldman-Benson, Molly Wilson - 1992
2 Constraint Programming: Strategic Directions – Pascal van Hentenryck, Vijay Saraswat - 1997
52 A Procedural Semantics for Well Founded Negation in Logic Programs – Kenneth Ross - 1989
743 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
7 Cut-Property And Negation As Failure – Robert F. Stärk - 1994
26 Preference Logic Programming – Kannan Govindarajan, Bharat Jayaraman, Surya Mantha - 1995
1 Efficient Interval Linear Equality Solving in Constraint Logic Programming – C. K. Chiu, J. H. M. Lee
2 Interval Linear Constraint Solving in Constraint Logic Programming – Chong-kan Chiu, Chong-kan Chiu - 1994
16 Interval Computation as Deduction in CHIP – J. H. M. Lee, M.H. van Emden - 1993
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
82 Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm – Michael Sannella - 1993
25 Formalizing a logic for logic programming – John S. Schlipf - 1992
135 Compiling Constraints in clp(FD) – Philippe Codognet, Daniel Diaz - 1996
35 Constraint logic programming - an informal introduction – Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost , Pierre Lim, Eric Monfroy, Mark Wallace - 1992