Publications of year 2003
Books and proceedings
  1. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. Springer-Verlag, 2003. ISBN: 3540676236. Keyword(s): tutorial. [bibtex-entry]

  2. F. Buccafurri, editor. AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, September 2003. [bibtex-entry]

  1. Aykut Firat. Information Integration Using Contextual Knowledge and Ontology Merging. PhD thesis, MIT Sloan School of Management, Cambridge, Massachusetts, USA, September 2003. [bibtex-entry]

Articles in journal, book chapters
  1. Steve Barker and Peter J. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur., 6(4):501-546, 2003. ISSN: 1094-9224. [doi:10.1145/950191.950194] [bibtex-entry]

  2. Lledó Museros Cabedo and Marìa Teresa Escrig. Modeling Motion by the Integration of Topology and Time. J. Universal Computer Science, 9(9):1096-1122, 2003. [WWW] [Abstract] [bibtex-entry]

  3. Henning Christiansen and Verónica Dahl. Logic Grammars for Diagnosis and Repair. Intl. J. Artificial Intelligence Tools, 12(3):227-248, 2003. Keyword(s): applications, abduction. [bibtex-entry]

Conference articles
  1. Sebastian Brand and Eric Monfroy. Deductive Generation of Constraint Propagation Rules. In G. Vidal, editor, RULE '03: 4th Intl. Workshop on Rule-Based Programming, volume 86(2) of Electronic Notes in Theoretical Computer Science, pages 45-60, September 2003. Elsevier. Keyword(s): program generation. [bibtex-entry]

  2. Gabriel G. Bès and Verónica Dahl. Balanced parentheses in NL texts: a useful cue in the syntax/semantics interface. In Proc. Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, October 2003. Note: Poster Paper. Keyword(s): applications, linguistics. [bibtex-entry]

  3. Emmanuel Coquery and François Fages. TCLP: A type checker for CLP(X). In F. Mesnard and A. Serebrenik, editors, WLPE '03, K.U.Leuven, Department of Computer Science, Technical report CW 371, pages 17-30, 2003. Keyword(s): type systems. [bibtex-entry]

  4. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. Extending arbitrary solvers with Constraint Handling Rules. In PPDP '03, pages 79-90, 2003. ACM Press. ISBN: 1-58113-705-2. Keyword(s): implementation. [bibtex-entry]

  5. Thom Frühwirth and Christian Holzbaur. Source-to-Source Transformation for a Class of Expressive Rules. In F. Buccafurri, editor, AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, pages 386-397, September 2003. [bibtex-entry]

  6. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Interpreting Abduction in CLP. In F. Buccafurri, editor, AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, pages 25-35, September 2003. Keyword(s): abduction. [bibtex-entry]

  7. Eric Monfroy and Carlos Castro. Basic components for constraint solver cooperations. In SAC '03: Proc. 2003 ACM symposium on Applied Computing, New York, NY, USA, pages 367-374, 2003. ACM. ISBN: 1-58113-624-2. [doi:10.1145/952532.952606] [bibtex-entry]

  8. Gerald Penn and Mohammad Haji-Abdolhosseini. Topological parsing. In EACL '03: Proc. of the 10th conf. of the European chapter of the Assoc. for Computational Linguistics, Morristown, NJ, USA, pages 283-290, 2003. Association for Computational Linguistics. ISBN: 1-333-56789-0. [doi:10.3115/1067807.1067845] [bibtex-entry]

  9. Tom Schrijvers, David S. Warren, and Bart Demoen. CHR for XSB. In R. Lopes and M. Ferreira, editors, CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems, University of Porto, Portugal, Department of Computer Science, Technical report DCC-2003-05, pages 7-20, December 2003. Keyword(s): implementation. [bibtex-entry]

  1. Wei-Ngan Chin, Martin Sulzmann, and Meng Wang. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis, School of Computing, National University of Singapore, 2003. Keyword(s): type systems, implementation. [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