1. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities. [bibtex-entry]



2. John Gallagher and Michael Gelfond, editors. ICLP '11: Proc. 27th Intl. Conf. Logic Programming, volume 11(4–5) of Theory and Practice of Logic Programming. Cambridge University Press, July 2011. [bibtex-entry]



3. John Gallagher and Michael Gelfond, editors. Technical Communications of the 27th Intl. Conf. on Logic Programming, volume 11 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2011. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex-entry]



4. Michael Hanus, editor. PPDP '11: Proc. 13th Intl. Conf. Princ. Pract. Declarative Programming, July 2011. ACM Press. [bibtex-entry]



5. Jon Sneyers, editor. CHR '11: Proc. 8th Workshop on Constraint Handling Rules, September 2011. GUC, Technical report. [PDF] Keyword(s): CHR 2011. [bibtex-entry]



6. German Vidal, editor. LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2011. [bibtex-entry]



7. German Vidal, editor. LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Lecture Notes in Computer Science, 2011. [bibtex-entry]

1. Edmund Soon Lee Lam. Parallel execution of Constraint Handling Rules – Theory, Implementation and Application. PhD thesis, School of Computing, Department of Computing Science, National University of Singapore, 2011. Keyword(s): parallelism, implementation. [bibtex-entry]

1. Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza artificiale, 5(1):71-75, February 2011. ISSN: 1724-8035. [PDF] [doi:10.3233/IA-2011-0006] [Abstract] [bibtex-entry]



2. A.M. Cheadle, W. Harvey, A.J. Sadler, J. Schimpf, K. Shen, and M.G. Wallace. ECLⁱPS^e: A Tutorial Introduction. 2011. Keyword(s): tutorial. [bibtex-entry]



3. János Csorba, Zsolt Zombori, and Péter Szeredi. Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language. CoRR, abs/1112.3784, 2011. [bibtex-entry]



4. Gregory J. Duck, Joxan Jaffar, and Nicolas Koh. A Symbolic Execution Framework with Explicit Heaps and Separation. 2011. [bibtex-entry]



5. Andrea Triossi. Hardware Execution of Constraint Handling Rules. PhD Thesis, 2011. [bibtex-entry]



6. Veronica Dahl. Informing Datalog through Language Intelligence - A Personal Perspective. In Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers, editors, Datalog Reloaded, volume 6702 of Lecture Notes in Computer Science, pages 161-180. Springer Berlin / Heidelberg, 2011. ISBN: 978-3-642-24205-2. [WWW] Keyword(s): linguistics. [bibtex-entry]



7. Veronica Dahl, Baohua Gu, and Erez Maharask. In Gemma Bel-Enguix and M. Dolores Jimenez-Lopez, editors, Bio-Inspired Models for Natural and Formal Languages, pages 205ff. Cambridge Scholars Publishing, April 2011. [bibtex-entry]



8. Veronica Dahl and Erez Maharask. In Gemma Bel-Enguix and M. Dolores Jimenez-Lopez, editors, Bio-Inspired Models for Natural and Formal Languages, pages 259ff. Cambridge Scholars Publishing, April 2011. [bibtex-entry]



9. Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules. In John Gallagher and Michael Gelfond, editors, ICLP '11: Proc. 27th Intl. Conf. Logic Programming, volume 11(4–5) of Theory and Practice of Logic Programming, pages 593-609. Cambridge University Press, July 2011. [doi:10.1017/S1471068411000196] Keyword(s): semantics, termination. [Abstract] [bibtex-entry]



10. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP '11: Proc. 27th Intl. Conf. Logic Programming, volume 11(4–5) of Theory and Practice of Logic Programming, pages 469-485. Cambridge University Press, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms. [Abstract] [bibtex-entry]

1. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. In Proc. 26th CILC: 26-esimo Convegno Italiano di Logica Computazionale, August-September 2011. [bibtex-entry]



2. J. Cheney. Satisfiability algorithms for conjunctive queries over trees. In Proceedings of the 14th International Conference on Database Theory, pages 150-161, 2011. ACM. [bibtex-entry]



3. Henning Christiansen and Amr Hany Saleh. Modeling Dependent Events with CHRiSM for Probabilistic Abduction. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 48-63, September 2011. GUC, Technical report. [PDF] Keyword(s): abduction, probabilistic CHR, CHRiSM, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



4. Verónica Dahl. CHR for Spoken and other Biological Languages. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 4-18, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): abduction, linguistics, applications, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



5. Marcel Dausend and Frank Raiser. Model Transformation using Constraint Handling Rules as a basis for Model Interpretation. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 64-78, September 2011. GUC, Technical report. [PDF] Keyword(s): applications, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



6. Krishna S. R. Dubba, Mehul Bhatt, Frank Dylla, David C. Hogg, and Anthony G. Cohn. Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models. In Stephen Muggleton, Alireza Tamaddoni-Nezhad, and Francesca A. Lisi, editors, ILP, volume 7207 of Lecture Notes in Computer Science, pages 113-129, 2011. Springer. ISBN: 978-3-642-31950-1. [bibtex-entry]



7. Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, and Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 32-47, September 2011. GUC, Technical report. [PDF] Keyword(s): debugging, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



8. R. Haemmerlé, P. Lopez-Garcia, and M.V. Hermenegildo. CLP Projection for Constraint Handling Rules. In Michael Hanus, editor, PPDP '11: Proc. 13th Intl. Conf. Princ. Pract. Declarative Programming, pages 137-148, July 2011. ACM Press. [doi:10.1145/2003476.2003496] Keyword(s): semantics, related formalisms, termination, confluence. [Abstract] [bibtex-entry]



9. Christian Theil Have. Constraints and Global Optimization for Gene Prediction Overlap Resolution. In Alessandro Dal Palù, Agostino Dovier, and Andrea Formisano, editors, WCB'11: Workshop on Constraint Based Methods for Bioinformatics, pages 17-26, September 2011. Keyword(s): applications. [bibtex-entry]



10. Johannes Langbein, Roland Stelzer, and Thom Frühwirth. A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats. In Robotic Sailing 2011, Part V, pages 195-204, 2011. [doi:10.1007/978-3-642-22836-0_14] Keyword(s): applications. [bibtex-entry]



11. Ester Mart'inez-Martìn and M. Teresa Escrig. A General Qualitative Spatio-Temporal Model Based on Intervals. In QR2011: 25th International Workshop on Qualitative Reasoning, 2011. [bibtex-entry]



12. Thierry Martinez. Angelic CHR. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 19-31, September 2011. GUC, Technical report. [PDF] Keyword(s): semantics, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



13. Jose F. Morales, Manuel Hermenegildo, and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages. In German Vidal, editor, LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Lecture Notes in Computer Science, 2011. Keyword(s): extensions. [bibtex-entry]



14. Paolo Pilozzi and Danny De Schreye. Improved termination analysis of CHR using self-sustainability analysis. In German Vidal, editor, LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Lecture Notes in Computer Science, 2011. Keyword(s): termination. [bibtex-entry]



15. Evgeny Skvortsov, Nima Kaviani, and Veronica Dahl. Chemical Signaling as a Useful Metafor for Resource Management. In Proc. IWANN 2011 (International Work Conference on Artificial Neural Networks), 2011. [bibtex-entry]



16. Evgeny Skvortsov, Nima Kaviani, and Veronica Dahl. Chemical signaling as a useful metaphor for resource management. In Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I, IWANN'11, Berlin, Heidelberg, pages 449-456, 2011. Springer-Verlag. ISBN: 978-3-642-21500-1. [WWW] [bibtex-entry]



17. Jon Sneyers and Danny De Schreye. Probabilistic Termination of CHRiSM Programs. In German Vidal, editor, LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2011. Keyword(s): termination, CHRiSM, probabilistic CHR. [bibtex-entry]



18. Andrea Triossi. Boosting CHR through Hardware Acceleration. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 1-3, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): implementation, parallelism, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]



19. Zsolt Zombori, János Csorba, and Péter Szeredi. Static Type Checking for the Q Functional Language in Prolog. In John Gallagher and Michael Gelfond, editors, Technical Communications of the 27th Intl. Conf. on Logic Programming, volume 11 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, pages 62-72, July 2011. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Keyword(s): type systems. [bibtex-entry]

1. Gregory M. Flanagan. Conceptual Requirement Validation for Architecture Design Systems. Master's thesis, California Polytechnic State University, San Luis Obispo, September 2011. [bibtex-entry]



2. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011. [bibtex-entry]



3. T.W.D. Jongstra. Inequality Reasoning for Qualitative Models using Constraint Handling Rules. Bachelor thesis, University of Amsterdam, December 2011. [bibtex-entry]

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.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html