BACK TO INDEX

Publications of year 2005
Books and proceedings
  1. Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors. Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming. Cambridge University Press, July 2005. [bibtex-entry]


  2. P. Barahona and A.P. Felty, editors. PPDP '05: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, July 2005. ACM Press. ISBN: 1-59593-090-6. [bibtex-entry]


  3. M. Gabbrielli and G. Gupta, editors. ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, October 2005. Springer-Verlag. [bibtex-entry]


  4. T. Schrijvers and Th. Frühwirth, editors. CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. Keyword(s): CHR 2005. [bibtex-entry]


  5. A. Wolf, Th. Frühwirth, and M. Meister, editors. W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, February 2005. [WWW] [bibtex-entry]


Thesis
  1. Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, Italy, 2005. [bibtex-entry]


  2. Alma Barranco-Mendoza. Stochastic and heuristic modelling for analysis of the growth of pre-invasive lesions and for a multidisciplinary approach to early cancer diagnosis. PhD thesis, Simon Fraser University, Burnaby, Canada, 2005. [WWW] [bibtex-entry]


  3. Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005. Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  4. Tom Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, June 2005. [WWW] [PDF] [POSTSCRIPT] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  5. Hongwei Zhu. Effective Information Integration and Reutilization: Solutions to Technological Deficiency and Legal Uncertainty. PhD thesis, Engineering Systems Division, Massachusetts Institute of Technology, Cambridge, MA, USA, September 2005. [bibtex-entry]


Articles in journal, book chapters
  1. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. ACM Trans. Program. Lang. Syst., 27(6):1216-1269, 2005. ISSN: 0164-0925. Keyword(s): type systems. [bibtex-entry]


  2. Slim Abdennadher and Christophe Rigotti. Automatic generation of CHR constraint solvers. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 403-418. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002371] Keyword(s): program generation. [bibtex-entry]


  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 419-440. Cambridge University Press, July 2005. [doi:10.1017/S147106840500236X] [bibtex-entry]


  4. Sebastian Brand and Krzysztof R. Apt. Schedulers and Redundancy for a Class of Constraint Propagation Rules. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 441-465. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002401] [bibtex-entry]


  5. Henning Christiansen. CHR grammars. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 467-501. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002395] Keyword(s): applications, linguistics. [bibtex-entry]


  6. Christian Holzbaur, Marìa Garcìa de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 503-531. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  7. Michael Thielscher. FLUX: A Logic Programming Method for Reasoning Agents. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 533-565. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002358] Keyword(s): FLUX. [bibtex-entry]


  8. Armin Wolf. Intelligent search strategies based on adaptive Constraint Handling Rules. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming, pages 567-594. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002383] [bibtex-entry]


Conference articles
  1. Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, pages 111-122, February 2005. [WWW] [bibtex-entry]


  2. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP '05, volume 3709 of Lecture Notes in Computer Science, pages 137-151, October 2005. Springer-Verlag. Keyword(s): semantics, linear logic. [bibtex-entry]


  3. Henning Christiansen. Experiences and directions for Abduction and Induction using Constraint Handling Rules. In AIAI '05: Proc. Intl. Workshop on the Integration of Abduction and Induction in Artificial Intelligence, July 2005. Note: Position Paper. Keyword(s): abduction. [bibtex-entry]


  4. Henning Christiansen. Reasoning about passive declarations in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 93-108, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  5. Henning Christiansen and Verónica Dahl. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 159-173, October 2005. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]


  6. Henning Christiansen and Verónica Dahl. Meaning in Context. In A. Dey, B. Kokinov, and R. Turner, editors, CONTEXT '05: Proc. 4th Intl. and Interdisciplinary Conf. Modeling and Using Context, volume 3554 of Lecture Notes in Artificial Intelligence, pages 97-111, 2005. Springer-Verlag. [bibtex-entry]


  7. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 19-33, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  8. Verónica Dahl and Philippe Blache. Extracting Selected Phrases through Constraint Satisfaction. In Proc. 2nd Intl. Workshop on Constraint Solving and Language Processing, October 2005. [bibtex-entry]


  9. Giorgio Delzanno, Maurizio Gabbrielli, and Maria Chiara Meo. A compositional semantics for CHR. In P. Barahona and A.P. Felty, editors, PPDP '05: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, pages 209-217, July 2005. ACM Press. ISBN: 1-59593-090-6. Keyword(s): semantics. [bibtex-entry]


  10. Gregory J. Duck and Tom Schrijvers. Accurate Functional Dependency Analysis for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 109-124, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, implementation, optimizing compilation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  11. Thom Frühwirth. Logical Rules for a Lexicographic Order Constraint Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 79-91, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  12. Thom Frühwirth. Parallelizing Union-Find in Constraint Handling Rules Using Confluence. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 113-127, October 2005. Springer-Verlag. Keyword(s): confluence, algorithms, parallelism. [bibtex-entry]


  13. Thom Frühwirth. Specialization of Concurrent Guarded Multi-Set Transformation Rules. In S. Etalle, editor, LOPSTR '04, volume 3573 of Lecture Notes in Computer Science, pages 133-148, 2005. Springer-Verlag. [PDF] [bibtex-entry]


  14. Luis Menezes, Jairson Vitorino, and Marcos Aurelio. A High Performance CHR∨ Execution Engine. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 35-45, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [PDF] Keyword(s): CHR 2005, implementation, disjunction, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  15. Tom Schrijvers and Thom Frühwirth. Analysing the CHR Implementation of Union-Find. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, pages 135-146, February 2005. [WWW] Keyword(s): algorithms, complexity. [bibtex-entry]


  16. Tom Schrijvers, Peter J. Stuckey, and Gregory J. Duck. Abstract interpretation for Constraint Handling Rules. In P. Barahona and A.P. Felty, editors, PPDP '05: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, pages 218-229, July 2005. ACM Press. ISBN: 1-59593-090-6. Keyword(s): optimizing compilation. [bibtex-entry]


  17. Tom Schrijvers, Jan Wielemaker, and Bart Demoen. Poster: Constraint Handling Rules for SWI-Prolog. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, February 2005. [WWW] [bibtex-entry]


  18. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 83-97, October 2005. Springer-Verlag. Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  19. Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 3-17, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, computability, complexity, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  20. Martin Sulzmann. Chameleon: Systematic Type System Design via Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 1, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. Note: Invited talk. Keyword(s): type systems, CHR 2005, CHR 2005. [bibtex-entry]


  21. Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 63-78, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


  22. Peter Thiemann. Grammar-based analysis of string expressions. In TLDI '05: Proc. 2005 ACM SIGPLAN Intl. workshop on Types in Languages Design and Implementation, New York, NY, USA, pages 59-70, 2005. ACM. ISBN: 1-58113-999-3. [doi:10.1145/1040294.1040300] [bibtex-entry]


  23. Peter Van Weert, Tom Schrijvers, and Bart Demoen. K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java. In T. Schrijvers and Th. Frühwirth, editors, CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, pages 47-62, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. [WWW] [PDF] Keyword(s): CHR 2005, Java, implementation, CHR 2005, CHR 2005. [Abstract] [bibtex-entry]


Miscellaneous
  1. Olivier Bouissou. A CHR library for SiLCC. Diplomarbeit, Technical University of Berlin, Germany, January 2005. [bibtex-entry]



BACK TO INDEX

Disclaimer:

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