BACK TO INDEX

Publications of year 2008
Books and proceedings
  1. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8] [bibtex-entry]


  2. M. Garcìa de la Banda and E. Pontelli, editors. ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2] [bibtex-entry]


  3. M. Hanus, editor. LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2008. [WWW] [PDF] [bibtex-entry]


  4. A. King, editor. LOPSTR '07: 17th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 4915 of Lecture Notes in Computer Science, 2008. [bibtex-entry]


  5. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008. [bibtex-entry]


Thesis
  1. Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms. [Abstract] [bibtex-entry]


  2. Mark Meister. Advances in Constraint Handling Rules. PhD thesis, Universität Ulm, Germany, 2008. [bibtex-entry]


  3. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, complexity, computability. [Abstract] [bibtex-entry]


  4. Paolo Tacchella. Constraint Handling Rules — Compositional Semantics and Program Transformation. PhD thesis, Department of Computer Science, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics. [Abstract] [bibtex-entry]


Articles in journal, book chapters
  1. Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Formal Aspects of Computing, 21(1–2):33-64, February 2008. [doi:10.1007/s00165-008-0083-6] Keyword(s): testing. [Abstract] [bibtex-entry]


  2. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. Theory and Practice of Logic Programming, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171] [Abstract] [bibtex-entry]


  3. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. Theory and Practice of Logic Programming, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation. [Abstract] [bibtex-entry]


  4. Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems. [Abstract] [bibtex-entry]


  5. Hongwei Zhu, Stuart E. Madnick, and Michael D. Siegel. Enabling global price comparison through semantic integration of web data. IJEB, 6(4):319-341, 2008. [bibtex-entry]


  6. Henning Christiansen. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 85-118. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR. [bibtex-entry]


  7. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. A Flexible Search Framework for CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 16-47. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_2] Keyword(s): disjunction, search. [bibtex-entry]


  8. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 1-15. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial. [bibtex-entry]


  9. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A Compositional Semantics for CHR with Propagation Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 119-160. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_6] Keyword(s): semantics. [bibtex-entry]


  10. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 213-244. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  11. Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 70-84. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_4] Keyword(s): program generation. [bibtex-entry]


  12. Peter Van Weert, Pieter Wuille, Tom Schrijvers, and Bart Demoen. CHR for Imperative Host Languages. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 161-212. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java. [Abstract] [bibtex-entry]


  13. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR∨: An Extended Refined Operational Semantics for CHR∨ Based on Justifications. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 48-69. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_3] Keyword(s): disjunction, search, semantics. [bibtex-entry]


Conference articles
  1. Slim Abdennadher and Shehab Fawzy. JCHRIDE: An Integrated Development Environment for JCHR. In Sibylle Schwarz, editor, WLP '08: Proc. 22nd Workshop on (Constraint) Logic Programming, Dresden, Germany, pages 1-6, September 2008. University Halle-Wittenberg, Institute of Computer Science, Technical report 2008/08. Keyword(s): Java. [Abstract] [bibtex-entry]


  2. Slim Abdennadher and Ingi Sobhi. Generation of Rule-based Constraint Solvers: Combined Approach. In A. King, editor, LOPSTR '07: 17th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 4915 of Lecture Notes in Computer Science, 2008. Keyword(s): program generation. [bibtex-entry]


  3. Marcos Aurélio, François Fages, and Jacques Robin. Default Reasoning in CHR∨. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 111-126, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, disjunction, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  4. Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 159-173, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, abduction, priorities, probabilistic CHR, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  5. Leslie De Koninck, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of CHR with rule priorities. In J. Garrigue and M. Hermenegildo, editors, Proc. 9th Intl. Symp. Functional and Logic Programming, volume 4989 of Lecture Notes in Computer Science, pages 32-47, April 2008. Springer-Verlag. Keyword(s): priorities, optimizing compilation. [bibtex-entry]


  6. Gregory J. Duck, Leslie De Koninck, and Peter J. Stuckey. Cadmium: An Implementation of ACD Term Rewriting. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 531-545, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2] Keyword(s): implementation. [bibtex-entry]


  7. François Fages, Cleyton Mário de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with ask and tell. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 95-110, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  8. Thom Frühwirth. Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. In Recent Advances in Constraints — CSCLP '07: 12th ERCIM Intl. Workshop on Constraint Solving and Constraint Logic Programming, Revised Selected Papers, pages 91-118, November 2008. [doi:10.1007/978-3-540-89812-2_7] Keyword(s): algorithms. [Abstract] [bibtex-entry]


  9. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integrating Abduction and Constraint Optimization in Constraint Handling Rules. In ECAI 2008: 18th European Conf. on Artif. Intell., pages 903-904, July 2008. IOS press. [doi:10.3233/978-1-58603-891-5-903] Keyword(s): abduction. [bibtex-entry]


  10. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  11. Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  12. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR Revisited. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 501-515, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_43] Keyword(s): termination. [Abstract] [bibtex-entry]


  13. Paolo Pilozzi and Danny De Schreye. Termination Analysis of CHR revisited. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 35-50, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, termination, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  14. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. In Peter J. Stuckey, editor, CP' 08: Proc. 14th Intl. Conf. Princ. Pract. Constraint Programming, volume 5202 of Lecture Notes in Computer Science, pages 588-592, September 2008. Springer-Verlag. [doi:10.1007/978-3-540-85958-1_47] Keyword(s): program generation. [Abstract] [bibtex-entry]


  15. Frank Raiser and Thom Frühwirth. Towards Term Rewriting Systems in Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 19-34, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): related formalisms, CHR 2008, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  16. Beata Sarna-Starosta and Tom Schrijvers. An efficient term representation for CHR indexing. In M. Carro and B. Demoen, editors, CICLOPS '08: Proc. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems, pages 172-186, 2008. Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  17. Beata Sarna-Starosta and Tom Schrijvers. Transformation-based Indexing Techniques for Constraint Handling Rules. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 3-18, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): implementation, optimizing compilation, CHR 2008, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  18. Beata Sarna-Starosta, David Zook, Emir Pasalic, and Molham Aref. Relating Constraint Handling Rules to Datalog. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 127-142, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  19. Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 1-2, 2008. RISC Report Series 08-10, University of Linz, Austria. Note: Invited Talk. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  20. Tom Schrijvers. Constraint Handling Rules — A Tutorial for (Prolog) Programmers. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 9-10, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_3] Keyword(s): tutorial. [bibtex-entry]


  21. Tom Schrijvers and Martin Sulzmann. Restoring confluence for functional dependencies. In Draft Proc. 9th Symp. Trends in Funct. Programming, Nijmegen, pages 22-36, May 2008. Radbound University. Keyword(s): type systems, confluence. [Abstract] [bibtex-entry]


  22. Tom Schrijvers and Martin Sulzmann. Transactions in Constraint Handling Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 516-530, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_44] Keyword(s): parallelism. [Abstract] [bibtex-entry]


  23. Jon Sneyers. Turing-complete Subclasses of CHR. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 759-763, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_72] Keyword(s): computability. [bibtex-entry]


  24. Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 143-158, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, complexity, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  25. Martin Sulzmann and Duc Hiep Chu. A Rule-Based Specification of Software Transactional Memory. In M. Hanus, editor, LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2008. [WWW] [PDF] Keyword(s): parallelism. [Abstract] [bibtex-entry]


  26. Martin Sulzmann and Edmund S.L. Lam. Parallel execution of multi-set constraint rewrite rules. In S. Antoy, editor, PPDP '08: Proc. 10th Intl. Conf. Princ. Pract. Declarative Programming, pages 20-31, July 2008. ACM Press. [doi:10.1145/1389449.1389453] Keyword(s): parallelism. [bibtex-entry]


  27. Martin Sulzmann, Edmund S.L. Lam, and Peter Van Weert. Actors with Multi-Headed Message Receive Patterns. In D. Lea and G. Zavattaro, editors, COORDINATION '08: Proc. 10th Intl. Conf. Coordination Models and Languages, number 5052 of Lecture Notes in Computer Science, pages 315-330, May 2008. Springer-Verlag. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism. [Abstract] [bibtex-entry]


  28. Peter Van Weert. A Tale of Histories. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR '08: Proc. 5th Workshop on Constraint Handling Rules, pages 79-94, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, implementation, optimizing compilation, CHR 2008, CHR 2008. [Abstract] [bibtex-entry]


  29. Peter Van Weert. Optimization of CHR Propagation Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 485-500, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2_42] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  30. Peter Van Weert, Jon Sneyers, and Bart Demoen. Aggregates for CHR through Program Transformation. In A. King, editor, LOPSTR '07: 17th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 4915 of Lecture Notes in Computer Science, pages 59-73, 2008. [doi:10.1007/978-3-540-78769-3_5] Keyword(s): extensions. [bibtex-entry]


  31. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. In M. Hanus, editor, LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2008. [WWW] [PDF] Keyword(s): termination. [Abstract] [bibtex-entry]


Internal reports
  1. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. Ulmer Informatik Berichte 2008-03, Ulm University, Germany, February 2008. [WWW] Keyword(s): program generation. [bibtex-entry]


  2. Peter Van Weert. Compiling Constraint Handling Rules to Java: A Reconstruction. Technical report CW 521, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2008. [WWW] Keyword(s): Java. [Abstract] [bibtex-entry]


  3. Peter Van Weert. Optimization of CHR Propagation Rules: Extended report. Technical report CW 519, K.U.Leuven, Department of Computer Science, Leuven, Belgium, August 2008. [WWW] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]


  4. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of CHR. Technical report CW 506, K.U.Leuven, Department of Computer Science, Leuven, Belgium, January 2008. [WWW] Keyword(s): termination. [Abstract] [bibtex-entry]


Miscellaneous
  1. Scientific Software & Systems Ltd.. Company Profile: Solving problems with proven solutions, 2008. [WWW] [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