Books and proceedings
- Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.
- F. Buccafurri, editor. AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, September 2003.
Thesis
- 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
- 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]
- 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]
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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]
- 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]
- 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.
Miscellaneous
- 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.
BACK TO INDEX