of year 2003

Books and proceedings

  1. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.
  2. F. Buccafurri, editor. AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, September 2003.


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

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]
  2. Lledó Museros Cabedo and Marìa Teresa Escrig. Modeling Motion by the Integration of Topology and Time. j-jucs, 9(9):1096-1122, 2003. [WWW]
  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.

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 ENTCS, pages 45-60, September 2003. Elsevier. Keyword(s): program generation.
  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.
  3. Emmanuel Coquery and François Fages. TCLP: A type checker for CLP($\mathcal{X}$). In F. Mesnard and A. Serebrenik, editors, WLPE03, KULCW, Technical report CW 371, pages 17-30, 2003. Keyword(s): type systems.
  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 PPDP03, pages 79-90, 2003. ACM. ISBN: 1-58113-705-2. Keyword(s): implementation.
  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.
  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.
  7. Eric Monfroy and Carlos Castro. Basic components for constraint solver cooperations. In SAC '03: Proc. 18th ACM Symp. Applied Computing, New York, NY, USA, pages 367-374, 2003. ACM. ISBN: 1-58113-624-2. [doi:10.1145/952532.952606]
  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]
  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, deptcw, Technical report DCC-2003-05, pages 7-20, December 2003. Keyword(s): implementation.


  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.