Publications of year 2001
Books and proceedings
  1. R. De Nicola and H. Sondergaard, editors. PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming, September 2001. ACM Press. ISBN: 1-58113-388-X. [bibtex-entry]

  1. Slim Abdennadher. Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany, July 2001. [bibtex-entry]

Articles in journal, book chapters
  1. Krzysztof R. Apt and Eric Monfroy. Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming, 1(6):713-750, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401000072] [bibtex-entry]

  2. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. Theory and Practice of Logic Programming, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications. [bibtex-entry]

Conference articles
  1. Slim Abdennadher and Christophe Rigotti. Using confluence to generate rule-based constraint solvers. In R. De Nicola and H. Sondergaard, editors, PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming, pages 127-135, September 2001. ACM Press. ISBN: 1-58113-388-X. Keyword(s): confluence. [bibtex-entry]

  2. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE '01, December 2001. [bibtex-entry]

  3. Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of Electronic Notes in Theoretical Computer Science, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination. [bibtex-entry]

  4. Joost Geurts, Jacco van Ossenbruggen, and Lynda Hardman. Application-Specific Constraints for Multimedia Presentation Generation. In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling, pages 247-266, November 2001. Keyword(s): applications. [bibtex-entry]

  5. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP '01, volume 2239 of Lecture Notes in Computer Science, pages 256-270, 2001. Springer-Verlag. ISBN: 3-540-42863-1. Keyword(s): Java, extensions. [bibtex-entry]

  6. Armin Wolf. Attributed Variables for Dynamic Constraint Solving. In Proc. 14th Intl. Conf. Applications of Prolog, pages 211-219, October 2001. Prolog Association of Japan. Keyword(s): implementation, extensions. [bibtex-entry]

Internal reports
  1. Martin Sulzmann. TIE: A CHR-based Type Inference Engine. Technical report TR2001/27, University of Melbourne, Department of Computer Science, 2001. Keyword(s): type systems. [bibtex-entry]

  1. Ekkehard Krämer. A Generic Search Engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, January 2001. Keyword(s): search, Java. [bibtex-entry]



This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

Last modified: Mon Dec 16 13:19:46 2013
This bibliography was compiled by the following authors: Please send BibTEX entries of missing CHR-related publications to Jon Sneyers.

This document was translated from BibTEX by bibtex2html