Books and proceedings
- M. Hanus, editor. WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of ENTCS, November 2002. Elsevier.
- P. J. Stuckey, editor. ICLP02l, volume 2401 of LNCS, jul/aug 2002. SV.
Conference articles
- 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 ENTCS, pages 1-17, November 2002. Elsevier. Note: See also http://pms.ifi.lmu.de/software/jack/. Keyword(s): Java.
- 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 ENTCS, pages 56-72, November 2002. Elsevier. Keyword(s): type systems.
- 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 LNCS, October 2002. SV. [doi:10.1007/3-540-36109-X_2]
- 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 LNCS, pages 279-336, June 2002. SV. Keyword(s): optimizing compilation.
- 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.
- 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 ENTCS, 2002. Elsevier. Keyword(s): complexity.
- 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. MK. Keyword(s): complexity.
- 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 ENTCS, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions.
- Harald Ganzinger and David A. McAllester. Logical Algorithms. In P. J. Stuckey, editor, ICLP02l, volume 2401 of LNCS, pages 209-223, jul/aug 2002. SV. Keyword(s): related formalisms.
- 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.
- Michael J. Maher. Propagation completeness of reactive constraints. In P. J. Stuckey, editor, ICLP02l, volume 2401 of LNCS, pages 148-162, jul/aug 2002. SV.
- 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.
- 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.
- Michael Thielscher. Reasoning About Actions with CHRs and Finite Domain Constraints. In P. J. Stuckey, editor, ICLP02l, volume 2401 of LNCS, pages 70-84, jul/aug 2002. SV.
Miscellaneous
- 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.
- Frank Morawietz and Philippe Blache. Parsing Natural Languages with CHR. Note: Unpublished Draft, 2002. Keyword(s): applications, linguistics.
BACK TO INDEX