1. M. Hanus, editor. WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, November 2002. Elsevier. [bibtex-entry]



2. P. J. Stuckey, editor. ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, jul/aug 2002. Springer-Verlag. [bibtex-entry]

1. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss. JACK: A Java Constraint Kit. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, pages 1-17, November 2002. Elsevier. Note: See also http://pms.ifi.lmu.de/software/jack/. Keyword(s): Java. [bibtex-entry]



2. Sandra Alves and Mario Florido. Type Inference using Constraint Handling Rules. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, pages 56-72, November 2002. Elsevier. Keyword(s): type systems. [bibtex-entry]



3. Liviu Badea and Doina Tilivea. Intelligent Information Integration as a Constraint Handling Problem. In FQAS '02: Proc. 5th Intl. Conf. on Flexible Query Answer Systems, volume 2522 of Lecture Notes in Computer Science, October 2002. Springer-Verlag. [doi:10.1007/3-540-36109-X_2] [Abstract] [bibtex-entry]



4. Sebastian Brand. A Note on Redundant Rules in Rule-based Constraint Programming. In Joint ERCIM/CologNet Intl. Workshop on Constraint Solving and Constraint Logic Programming, Selected papers, volume 2627 of Lecture Notes in Computer Science, pages 279-336, June 2002. Springer-Verlag. Keyword(s): optimizing compilation. [bibtex-entry]



5. Aykut Firat, Stuart Madnick, and Benjamin Grosof. Financial information integration in the presence of equational ontological conflicts. In Proc. 12th Workshop Information Technologies and Systems, 2002. [Abstract] [bibtex-entry]



6. Thom Frühwirth. As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. In A. Di Pierro and H. Wiklicky, editors, QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages, volume 59(3) of Electronic Notes in Theoretical Computer Science, 2002. Elsevier. Keyword(s): complexity. [bibtex-entry]



7. Thom Frühwirth. As Time Goes By: Automatic Complexity Analysis of Simplification Rules. In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, KR '02: Proc. 8th Intl. Conf. Princ. Knowledge Representation and Reasoning, pages 547-557, April 2002. Morgan Kaufmann. Keyword(s): complexity. [bibtex-entry]



8. Thom Frühwirth, Alessandra Di Pierro, and Herbert Wiklicky. Probabilistic Constraint Handling Rules. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 76 of Electronic Notes in Theoretical Computer Science, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions. [bibtex-entry]



9. Harald Ganzinger and David A. McAllester. Logical Algorithms. In P. J. Stuckey, editor, ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 209-223, jul/aug 2002. Springer-Verlag. Keyword(s): related formalisms. [bibtex-entry]



10. Diego Garat and Dina Wonsever. A Constraint Parser for Contextual Rules. In Proc. 22nd Intl. Conf. of the Chilean Computer Science Society, pages 234-242, November 2002. IEEE Computer Society. [bibtex-entry]



11. Michael J. Maher. Propagation completeness of reactive constraints. In P. J. Stuckey, editor, ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 148-162, jul/aug 2002. Springer-Verlag. [bibtex-entry]



12. Eduardo Torres Schumann. A Literate Programming System for Logic Programs with Constraints. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, University of Udine, Research Report UDMI/18/2002/RR, 2002. [bibtex-entry]



13. Christian Seitz, Bernhard Bauer, and Michael Berger. Planning and Scheduling in Multi Agent Systems using Constraint Handling Rules. In IC-AI '02: Proc. Intl. Conf. Artificial Intelligence, June 2002. CSREA Press. [bibtex-entry]



14. Michael Thielscher. Reasoning About Actions with CHRs and Finite Domain Constraints. In P. J. Stuckey, editor, ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 70-84, jul/aug 2002. Springer-Verlag. [bibtex-entry]

1. Thomas Hecksher, Sune T.B. Nielsen, and Alexis Pigeon. A CHRG model of the ancient Egyptian grammar. Note: Unpublished student project report, Roskilde University, Denmark, December 2002. Keyword(s): applications, linguistics. [bibtex-entry]



2. Frank Morawietz and Philippe Blache. Parsing Natural Languages with CHR. Note: Unpublished Draft, 2002. Keyword(s): applications, linguistics. [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.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html