A toolkit for constraint-based inference engines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1753, Issue , 2000, Pages 185-199

  Chew, Tee Yong ^a   Henz, Martin ^a   Ng, Ka Boon ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE REUSABILITY; CONSTRAINT THEORY; ENGINES; INFERENCE ENGINES; OBJECT ORIENTED PROGRAMMING; REUSABILITY; SOFTWARE DESIGN;

COMBINATORIAL SEARCH; CONSTRAINT PROGRAMMING; CONSTRAINT PROGRAMMING SYSTEMS; CONSTRAINT-BASED; DEPTH FIRST SEARCH; MODULAR ARCHITECTURES; PROGRAMMING ABSTRACTIONS; SEARCH ALGORITHMS;

COMPUTER PROGRAMMING;

EID: 84958965570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46584-7_13     Document Type: Conference Paper

References (16)

1. Tee Yong Chew. A toolkit for constraint-based tree search. Honours Year Project Report, School of Computing, National University of Singapore, available at http://www.comp.nus.edu.sg/henz/projects/toolkit/, March 1999.
2. Yves Caseau and François Laburthe. CLAIRE: Combining objects and rules for problem solving. In Proceedings of the JICSLP'96 workshop on multi-paradigm logic programming. TU Berlin, 1996.
3. Martin Henz and Tee Yong Chew. SearchToolKit: A toolkit for constraint-based tree search. Oz code available via WWW at http://www.comp.nus.edu.sg/~henz/projects/stk, 1999.
4. Martin Henz. Objects for Concurrent Constraint Programming. TheKluwer International Series in Engineering and Computer Science, Volume 426. Kluwer Academic Publishers, Boston, 1998.
5. William D. Harvey and Matthew L. Ginsberg. Limited discrepancy search. In Chris S. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 607-615, Montréal, Québec, Canada, August 1995. Morgan Kaufmann Publishers, San Mateo, CA.
6. ILOG Inc., Mountain View, CA 94043, USA, http://www.ilog.com. ILOG Solver 4.4, Reference Manual, 1999.
7. ILOG Inc., Mountain View, CA 94043, USA, http://www.ilog.com. OPL Studio User Manual, 1999.
8. Andrew J. Kennedy. Functional pearls: Drawing trees. Journal of Functional Programming, 6(3):527-534, May 1996.
9. Irvin J. Lustig and Jean-François Puget. Program ! = program: Constraint programming and its relationship to mathematical programming. white paper of Ilog Inc., Mountain View, CA 94043, USA, available at http://www.ilog.com, 1999.
10. Micha Meier. Debugging constraint programs. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science 976, pages 328-344, Cassis, France, September 1995. Springer-Verlag, Berlin.
11. Mozart Consortium. The Mozart Programming System. Documentation and system available from http://www.mozart-oz.org, Programming Systems Lab, Saarbrücken, Swedish Institute of Computer Science, Stockholm, and Université catholique de Louvain, 1999.
12. Jean-François Puget. A C++ implementation of CLP. In Proceedings of the Second Singapore International Conference on Intelligent Systems (SPI- CIS), pages B256-B261, Singapore, November 1994.
13. Christian Schulte. Oz Explorer: A visual constraint programming tool. In Lee Naish, editor, Proceedings of the International Conference on Logic Programming, pages 286-300, Leuven, Belgium, July 1997. The MIT Press, Cambridge, MA.
14. Christian Schulte. Programming constraint inference engines. In Gert Smolka, editor, Principles and Practice of Constraint Programming|CP97, Proceedings of the Third International Conference, Lecture Notes in Computer Science 1330, pages 519-533, Schloss Hagenberg, Linz, Austria, October/ November 1997. Springer-Verlag, Berlin.
15. Christian Schulte. Comparing trailing and copying for constraint programming. In Proceedings of the International Conference on Logic Programming, 1999. to appear.
16. Gert Smolka. The Oz programming model. In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science 1000, pages 324-343. Springer-Verlag, Berlin, 1995.