JACK: A Java constraint kit

Electronic Notes in Theoretical Computer Science

Volumn 64, Issue , 2002, Pages 1-17

  Abdennadher, Slim ^a   Krämer, Ekkerhard ^a   Saft, Matthias ^a   Schmauss, Matthias ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; CONSTRAINT THEORY; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SEARCH ENGINES; SYNTACTICS;

CONSTRAINT LOGIC PROGRAMMING (CLP); DECLARATIVE JAVA (DJ); JAVA CONSTRAINT HANDLING RULES (JCHR); JAVA CONSTRAINT LIBRARY (JCL);

JAVA PROGRAMMING LANGUAGE;

EID: 18944377986     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80344-X     Document Type: Conference Paper

References (18)

1. S. Abdennadher and M. Saft. A visualization tool for constraint handling rules. In 11th Workshop on Logic Programming Environments, WLPE'01, 2001.
2. Y. Caseau, F.-X. Josset, and F. Laburthe. Claire: Combining sets, search, and rules to better express algorithms. In ICLP99, 1999.
3. Chew T., Henz M., Ng K. A toolkit for constraint-based inference engines. Practical Aspects of Declarative Languages. 2000
4. Chun A. Constraint programming in java with JSolver. Practical Application of Constraint Logic Programming. 1999
5. P. Codognet and D. Diaz. Boolean constraint solving using clp(FD). In D. Miller, editor, Logic Programming - Proceedings of the 1993 International Symposium, Vancouver, Canada, 1993. The MIT Press.
6. M. Dincbas, P. V. Hentenryck, H. Simonis, A. Aggoun, and A. Herold. The CHIP system: Constraint handling in Prolog. In M. Stickel, editor, Proceedings of the Tenth International Conference on Automated Deduction, LNCS 449. Springer-Verlag, 1990.
7. Frühwirth T. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming. 37:(1-3):October 1998;95-138
8. T. Frühwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995.
9. Holzbaur C., Frühwirth T. A prolog constraint handling rules compiler and runtime system. Journal of Applied Artificial Intelligence. 2000;369-388. Special Issue on Constraint Handling Rules
10. Jaffar J., Maher M.J. Constraint logic programming: A survey. Journal of Logic Programming. 20:1994
11. Marriott K., Stuckey P. Programming with Constraints: An Introduction. 1998;The MIT Press
12. J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proc. of AAAI-94, pages 362-367, Seattle, WA, 1994.
13. C. Schulte. Oz Explorer: A visual constraint programming tool. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 286-300, Leuven, Belgium, July 1997. MIT Press, Cambridge, MA, USA.
14. Smolka G. The Oz programming model. Lecture Notes in Computer Science. 1000:1995
15. M. Torrens, R. Weigl, and B. Faltings. Java Constraint Library: bringing constraint technology to the internet using the java language. In Working Notes of the Workshop on Constraints and Agents, 1997.
16. van Hentenryck P. Constraint logic programming. The Knowledge Engineering Review. 6:1991
17. T. Walsh. CSPLIB problem 15: Schur's lemma. Internet: http://wwwusers.cs.york.ac.uk/~tw/csplib/prob/prob015/index.html.
18. N. Zhou, S. Kaneko, and K. Yamauchi. DJ: A java-based constraint language and system. In Proceedings of the Annual JSSST Conference, 1998.