BACK TO INDEX

Publications of year 2009
Books and proceedings
  1. Thom Frühwirth. Constraint Handling Rules. Cambridge University Press, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial. [bibtex-entry]


  2. M. Hanus, editor. LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 5438 of Lecture Notes in Computer Science, 2009. Springer-Verlag. [doi:10.1007/978-3-642-00515-2] [bibtex-entry]


  3. Patricia M. Hill and David S. Warren, editors. ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5] [bibtex-entry]


  4. F.J. López-Fraguas, editor. PPDP '09: Proc. 11th Intl. Conf. Princ. Pract. Declarative Programming, September 2009. ACM Press. [bibtex-entry]


  5. F. Raiser and J. Sneyers, editors. CHR '09: Proc. 6th Workshop on Constraint Handling Rules, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. Keyword(s): CHR 2009. [bibtex-entry]


Thesis
  1. Cinzia Di Giusto. Expressiveness of Concurrent Languages. PhD thesis, Department of Computer Science, University of Bologna, Italy, March 2009. [PDF] Keyword(s): expressivity. [bibtex-entry]


  2. Jairson Vitorino. Model-Driven Engineering a Versatile, Extensible, Scalable Rule Engine through Component Assembly and Model Transformations. PhD thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [bibtex-entry]


Articles in journal, book chapters
  1. Henning Christiansen. Executable specifications for hypotheses-based reasoning with Prolog and Constraint Handling Rules. J. of Applied Logic, 7(3):341-362, September 2009. [doi:10.1016/j.jal.2008.10.004] Keyword(s): abduction. [bibtex-entry]


  2. Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. Theory and Practice of Logic Programming, 9(2):165-212, March 2009. [doi:10.1017/S1471068409003664] Keyword(s): priorities, related formalisms, complexity. [Abstract] [bibtex-entry]


  3. Maurizio Gabbrielli and Maria Chiara Meo. A compositional semantics for CHR. ACM Trans. Comput. Logic, 10(2):1-36, February 2009. [doi:10.1145/1462179.1462183] Keyword(s): semantics. [Abstract] [bibtex-entry]


  4. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. Theory and Practice of Logic Programming, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism. [Abstract] [bibtex-entry]


  5. Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. ACM Trans. Program. Lang. Syst., 31(2), February 2009. [doi:10.1145/1462166.1462169] Keyword(s): complexity, computability. [bibtex-entry]


  6. Hongwei Zhu and Stuart E. Madnick. Reconciliation of temporal semantic heterogeneity in evolving information systems. Ingénierie des Systèmes d'Information, 14(6):59-74, 2009. [bibtex-entry]


Conference articles
  1. Marcos Aurélio de Almeida Silva and Jacques Robin. Extending CHR with objects under a variety of inheritance and world-closure assumptions. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 3-17, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, extensions, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  2. Verónica Dahl, Baohua Gu, and Erez Maharshak. A Hyprolog Parsing Methodology for Property Grammars. In IWANN '09: Proc. 10th Intl. Workshop on Artif. Neural Networks, volume 5517 of Lecture Notes in Computer Science, pages 480-487, 2009. Springer-Verlag. [doi:10.1007/978-3-642-02478-8_60] Keyword(s): linguistics. [Abstract] [bibtex-entry]


  3. Verónica Dahl and Erez Maharshak. DNA Replication as a Model for Computational Linguistics. In IWINAC '09: Proc. Third Intl. Work-Conf. on the Interplay Between Natural and Artificial Computation, Lecture Notes in Computer Science, pages 346-355, 2009. Springer-Verlag. [doi:10.1007/978-3-642-02264-7_36] Keyword(s): linguistics. [Abstract] [bibtex-entry]


  4. Leslie De Koninck. Execution control for Constraint Handling Rules – PhD Summary. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 479-483, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_38] Keyword(s): priorities. [bibtex-entry]


  5. François Degrave, Tom Schrijvers, and Wim Vanhoof. Automatic generation of test inputs for Mercury. In M. Hanus, editor, LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 5438 of Lecture Notes in Computer Science, 2009. Springer-Verlag. [doi:10.1007/978-3-642-00515-2] Keyword(s): applications, testing. [Abstract] [bibtex-entry]


  6. Cinzia Di Giusto, Maurizio Gabbrielli, and Maria Chiara Meo. Expressiveness of Multiple Heads in CHR. In SOFSEM '09: Proc. 35th Conf. Current Trends in Theory and Practice of Comp. Science, Lecture Notes in Computer Science, pages 205-216, 2009. Springer-Verlag. [doi:10.1007/978-3-540-95891-8_21] Keyword(s): expressivity. [Abstract] [bibtex-entry]


  7. Thom Frühwirth. First steps towards a lingua franca for computer science: Rule-based Approaches in CHR. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 1, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. Note: Invited talk. [PDF] Keyword(s): CHR 2009, related formalisms, CHR 2009, CHR 2009. [bibtex-entry]


  8. Maurizio Gabbrielli, Maria Chiara Meo, and Jacopo Mauro. On the expressive power of priorities in CHR. In F.J. López-Fraguas, editor, PPDP '09: Proc. 11th Intl. Conf. Princ. Pract. Declarative Programming, pages 267-276, September 2009. ACM Press. [doi:10.1145/1599410.1599443] Keyword(s): expressivity, priorities. [Abstract] [bibtex-entry]


  9. T. Gannon, S. Madnick, A. Moulton, M. Siegel, M. Sabbouh, and Hongwei Zhu. Framework for the Analysis of the Adaptability, Extensibility, and Scalability of Semantic Information Integration and the Context Mediation Approach. In IEEE 42nd Hawaii International Conference on System Sciences (HICSS '09), pages 1- 11, January 2009. [bibtex-entry]


  10. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 387-401, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_32] Keyword(s): abduction. [Abstract] [bibtex-entry]


  11. Thierry Martinez. On connections between CHR and LCC. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 18-32, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, linear logic, related formalisms, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  12. Paolo Pilozzi. Automating termination proofs for CHR. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 504-508, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_43] Keyword(s): termination. [bibtex-entry]


  13. Paolo Pilozzi. Proving termination by invariance relations. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 499-503, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_42] Keyword(s): termination. [bibtex-entry]


  14. Paolo Pilozzi. Research Summary: Termination of CHR. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 534-535, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_51] Keyword(s): termination. [bibtex-entry]


  15. Frank Raiser. Research Summary: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 540-541, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_54] Keyword(s): Graph Transformation Systems, related formalisms. [bibtex-entry]


  16. Frank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR States Revisited. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 33-48, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  17. Frank Raiser and Thom Frühwirth. Operational Equivalence of Graph Transformation Systems. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 49-61, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, Graph Transformation Systems, related formalisms, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  18. Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. In TERMGRAPH '09: Proc. 5th Intl. Workshop on Computing with Terms and Graphs, pages 97-112, March 2009. Keyword(s): Graph Transformation Systems, related formalisms. [bibtex-entry]


  19. Beata Sarna-Starosta and Tom Schrijvers. Attributed Data for CHR Indexing. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 357-371, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_30] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  20. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules – Ph.D. thesis summary. In Patricia M. Hill and David S. Warren, editors, ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, pages 494-498, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5_41] Keyword(s): implementation, optimizing compilation, complexity, computability. [bibtex-entry]


  21. Jon Sneyers, Wannes Meert, and Joost Vennekens. CHRiSM: Chance Rules induce Statistical Models. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 62-76, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, probabilistic CHR, CHRiSM, extensions , CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


  22. Peter Van Weert, Leslie De Koninck, and Jon Sneyers. A Proposal for a Next Generation of CHR. In F. Raiser and J. Sneyers, editors, CHR '09: Proc. 6th Workshop on Constraint Handling Rules, pages 77-93, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, priorities, extensions, CHR 2009, CHR 2009. [Abstract] [bibtex-entry]


Internal reports
  1. Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. Technical report CW 541, K.U.Leuven, Department of Computer Science, Leuven, Belgium, April 2009. [WWW] Keyword(s): termination . [Abstract] [bibtex-entry]


Miscellaneous
  1. Marcos Aurélio de Almeida Silva. Constraint Handling Object-oriented Rules with Disjunction (CHORD). Master's thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [WWW] Keyword(s): disjunction, search. [bibtex-entry]


  2. Adrian Kostrubiak. Integration of Java Generics Into The extttjmle Tool Within The Eclipse IDE. Honors thesis, Dickinson College, 2009. [PDF] [bibtex-entry]


  3. Cleyton Mário de Oliveira Rodrigues. Components and Theorem Proving with Constraint Handling Rules. Master's thesis, Federal University of Pernambuco, Recife, Brazil, 2009. [bibtex-entry]


  4. Mathias Wasserthal. An extensible platform for the analysis of graph transformation systems using Constraint Handling Rules. Diploma thesis, Ulm University, February 2009. Keyword(s): Graph Transformation Systems, related formalisms. [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