1. Slim Abdennadher, Ghada Fakhry, and Nada Sharaf. Implementation of the Operational Semantics for CHR with User-defined Rule Priorities. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 1-12, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): implementation, priorities, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]



2. Veronica Dahl, Sinan Egilmez, Joao Martins, and Emilio Miralles. On Failure-Driven Constraint-Based Parsing through CHRG. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 13-24, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): linguistics, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]



3. Gregory J. Duck, Joxan Jaffar, and Nicolas C. H. Koh. Constraint-Based Program Reasoning with Heaps and Separation. In Christian Schulte, editor, CP, volume 8124 of Lecture Notes in Computer Science, pages 282-298, 2013. Springer. ISBN: 978-3-642-40626-3. [bibtex-entry]



4. Amr Osman, Amira Zaki, and Slim Abdennadher. CHR Meets MapReduce. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 25-38, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]



5. Nada Sharaf, Injy Hamed, and Slim Abdennadher. Tagging Reasoning System using CHR. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 61-69, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]



6. Ghada Fakhry Slim Abdennadher and Nada Sharaf. Towards The Implementation of Source-to-Source Transformation Tool for CHR Operational Semantics. In Gopal Gupta, editor, LOPSTR '13: 23rd Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2013. [bibtex-entry]



7. Jon Sneyers, Daniel De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 39-52, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): CHRiSM, applications, CHR 2013, CHR 2013, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]



8. Amira Zaki, Matthias Rau, and Thom Frühwirth. CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 53-60, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): debugging, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]

1. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 109-118, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.109] [Annotation] [bibtex-entry]



2. Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 41-50, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



3. Fabian Buettner and Jordi Cabot. Lightweight String Reasoning for OCL. In 8th European Conference on Modelling Foundations and Applications (ECMFA), 2012. [bibtex-entry]



4. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In SERVICES, pages 211-218, 2012. IEEE. ISBN: 978-1-4673-3053-4. [bibtex-entry]



5. Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 1-15, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



6. János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 16-31, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



7. Veronica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak. CHR for Social Responsibility. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 370-380, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.370] [Annotation] [bibtex-entry]



8. Veronica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 32-40, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



9. Veronica Dahl, Emilio Miralles, and Leonor Becerra-Bonache. On Language Acquisition through Womb Grammars. In Proceedings of the 7th International Workshop on Constraint Solving and Language Processing, France, pages 99-105, 2012. [WWW] [PDF] [Abstract] [bibtex-entry]



10. Rémy Haemmerlé. Coinductive Proof over Streams as CHR Confluence Proofs. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 51-65, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): confluence, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



11. Ester Martìnez-Martin, M. Teresa Escrig, and Angel P. Del Pobil. Qualitative Velocity Model: Representation, Reasoning and Application. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 66-81, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



12. Colin Nicholson and Danny De Schreye. Relevancy analysis as a basis for improved tabling in CHRiSM. In Elvira Albert, editor, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation,, pages 100-114, Septempber 2012. [WWW] [bibtex-entry]



13. Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 82-90, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



14. Viktor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand, Antoine Isaac, Jacco van Ossenbruggen, and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage Institutes: The Amsterdam Museum Case Study. In Elena Simperl, Philipp Cimiano, Axel Polleres, Óscar Corcho, and Valentina Presutti, editors, ESWC, volume 7295 of Lecture Notes in Computer Science, pages 733-747, 2012. Springer. ISBN: 978-3-642-30283-1. [bibtex-entry]



15. Victor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand, Antoine Isaac, Jacco van Ossenbruggen, and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage institutes: The Amsterdam Museum Case Study. In 9th Extended Semantic Web Conference (ESWC 2012), May 2012. [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. Slim Abdennadher, Haythem Ismail, and Frederick Khoury. Transforming Imperative Algorithms to Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW] [bibtex-entry]



2. Marco Alberti, Marco Gavanelli, and Evelina Lamma. Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. In Manuel Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th Intl. Conf. on Logic Programming, volume 7 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2010. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [doi:10.4230/LIPIcs.ICLP.2010.4] Keyword(s): abduction. [bibtex-entry]



3. Hariolf Betz, Frank Raiser, and Thom Frühwirth. Persistent Constraints in Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW] Keyword(s): parallelism, semantics. [bibtex-entry]



4. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. In Proceedings of the 7th international conference on Autonomic and trusted computing, ATC'10, Berlin, Heidelberg, pages 268-282, 2010. Springer-Verlag. ISBN: 3-642-16575-3, 978-3-642-16575-7. [WWW] Keyword(s): abduction. [bibtex-entry]



5. Henning Christiansen, Christian Theil Have, Ole Torp Lassen, and Matthieu Petit. The Viterbi Algorithm expressed in Constraint Handling Rules. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



6. Verónica Dahl, M. Dolores Jiménez-López, and Olivier Perriquet. Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. In Proc. 8th Intl. Conf. Practical Applications of Agents and Multiagent Systems, volume 71 of Advances in Soft Computing, pages 403-410, April 2010. Springer-Verlag. [doi:10.1007/978-3-642-12433-4_48] Keyword(s): applications, linguistics. [Abstract] [bibtex-entry]



7. Andreas Falkner, Alois Haselböck, and Gottfried Schenner. Modeling Technical Product Configuration Problems. In Lothar Hotz and Alois Haselböck, editors, Workshop on Configuration at 19th European Conference on Artificial Intelligence ECAI 2010, August 2010. [bibtex-entry]



8. Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth. MTSeq – Multi-touch-enabled music generation and manipulation based on CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, applications, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



9. Ralf Gerlich. Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, testing, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



10. Johannes Langbein, Frank Raiser, and Thom Frühwirth. A State Equivalence and Confluence Checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): confluence, semantics, CHR 2010, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



11. Yisong Liu, Zhihua Yin, Huijuan Zhu, and Lili Wang. Handling Negative Disjunction Constraints (or_not_holds) in FLUX. In ICCAE 2010: 2nd Intl. Conf. Computer and Automation Engineering, pages 514-518, February 2010. IEEE. [doi:10.1109/ICCAE.2010.5451264] Keyword(s): FLUX, applications. [Abstract] [bibtex-entry]



12. Ahmed Magdy, Frank Raiser, and Thom Frühwirth. Implementing Dynamic Programming Recurrences in Constraint Handling Rules with Rule Priorities. In Slim Abdennadher, editor, WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] Keyword(s): priorities. [bibtex-entry]



13. Thierry Martinez. Semantics-preserving translations between Linear Concurrent Constraint Programming and Constraint Handling Rules. In M. Fernández, editor, PPDP '10: Proc. 12th Intl. Conf. Princ. Pract. Declarative Programming, pages 57-66, July 2010. ACM Press. [doi:10.1145/1836089.1836097] Keyword(s): semantics, related formalisms, linear logic. [Abstract] [bibtex-entry]



14. Paolo Pilozzi and Danny De Schreye. Scaling termination proofs by a characterization of cycles in CHR. In Peter Schneider-Kamp, editor, 11th International Workshop on Termination, Edinburgh, United Kingdom, July 2010. Keyword(s): termination. [bibtex-entry]



15. Paolo Pilozzi, Tom Schrijvers, and Maurice Bruynooghe. A transformational approach for proving properties of the CHR constraint store. In Danny De Schreye, editor, LOPSTR '09: 19th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 6037 of Lecture Notes in Computer Science, pages 22-36, 2010. Springer-Verlag. [doi:10.1007/978-3-642-12592-8_3] Keyword(s): termination. [Abstract] [bibtex-entry]



16. H. Plociniczak and S. Eisenbach. JErlang: Erlang with Joins. In Coordination Models and Languages, pages 61-75, 2010. Springer. [bibtex-entry]



17. Frank Raiser and Thom Frühwirth. Exhaustive Parallel Rewriting with Multiple Removals. In Slim Abdennadher, editor, WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] Keyword(s): parallelism. [bibtex-entry]



18. Jon Sneyers. Result-directed CHR Execution. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, probabilistic CHR, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]



19. Jon Sneyers and Danny De Schreye. APOPCALEAPS: Automatic Music Generation with CHRiSM. In G. Danoy and others, editors, 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010), Luxembourg, October 2010. Keyword(s): CHRiSM, applications. [Abstract] [bibtex-entry]



20. Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta, Frank Raiser, and Thom Frühwirth. Constraint-Based Hardware Synthesis. In Slim Abdennadher, editor, WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] Keyword(s): applications. [bibtex-entry]



21. Peter Van Weert. Join Ordering for Constraint Handling Rules: Putting Theory into Practice. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, implementation, optimizing compilation, CHR 2010, CHR 2010. [Abstract] [bibtex-entry]

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]

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]

1. Hariolf Betz. Relating Coloured Petri Nets to Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 33-47, September 2007. [PDF] Keyword(s): CHR 2007, related formalisms, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



2. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



3. Henning Christiansen and Christian Theil Have. From Use Cases to UML Class Diagrams using Logic Grammars and Constraints. In RANLP '07: Proc. Intl. Conf. Recent Adv. Nat. Lang. Processing, pages 128-132, September 2007. Keyword(s): applications, linguistics. [bibtex-entry]



4. Verónica Dahl and Baohua Gu. A CHRG Analysis of ambiguity in Biological Texts. In CSLP '07: Proc. 4th Intl. Workshop on Constraints and Language Processing, August 2007. Note: Extended Abstract. Keyword(s): linguistics, applications. [bibtex-entry]



5. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 209-223, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_15] Keyword(s): related formalisms. [bibtex-entry]



6. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. User-definable Rule Priorities for CHR. In M. Leuschel and A. Podelski, editors, PPDP '07: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, pages 25-36, July 2007. ACM Press. ISBN: 978-1-59593-769-8. [doi:10.1145/1273920.1273924] Keyword(s): priorities. [bibtex-entry]



7. Leslie De Koninck and Jon Sneyers. Join Ordering for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 107-121, September 2007. [PDF] Keyword(s): optimizing compilation, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



8. Khalil Djelloul, Thi-Bich-Hanh Dao, and Thom Frühwirth. Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 2007 ACM Symp. Applied computing, pages 58-64, 2007. ACM Press. ISBN: 1-59593-480-4. [bibtex-entry]



9. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 224-239, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_16] Keyword(s): confluence. [bibtex-entry]



10. Thom Frühwirth. Description Logic and Rules the CHR Way. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 49-61, September 2007. Note: Extended Abstract. [PDF] Keyword(s): related formalisms, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



11. Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. In RTA '07: Proc. 18th Intl. Conf. Term Rewriting and Applications, volume 4533 of Lecture Notes in Computer Science, June 2007. Springer-Verlag. [doi:10.1007/978-3-540-73449-9_17] Keyword(s): confluence. [Abstract] [bibtex-entry]



12. Ben Krause and Tim Wahls. jmle: A Tool for Executing JML Specifications via Constraint Programming. In Formal Methods: Applications and Technology, volume 4346 of Lecture Notes in Computer Science, pages 293-296, 2007. Springer-Verlag. [doi:10.1007/978-3-540-70952-7_19] [Abstract] [bibtex-entry]



13. Edmund S.L. Lam and Martin Sulzmann. A Concurrent Constraint Handling Rules Semantics and its Implementation with Software Transactional Memory. In DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 2007. ACM Press. [WWW] Keyword(s): parallelism. [bibtex-entry]



14. Martin Magnusson and Patrick Doherty. Deductive Planning with Temporal Constraints. In Eyal Amir, Vladimir Lifschitz, and Rob Miller, editors, Logical Formalizations of Commonsense Reasoning: Papers from the 2007 AAAI Spring Symposium, March 2007. AAAI Press. [bibtex-entry]



15. Julien Martin and François Fages. From Business Rules to Constraint Programs in Warehouse Management Systems. In Doctoral programme of the 13th Intl. Conf. on Princ. and Pract. of Constraint Programming, 2007. Keyword(s): related formalisms. [bibtex-entry]



16. Marc Meister. Concurrency of the preflow-push algorithm in Constraint Handling Rules. In CSCLP'07: Proc. 12th Intl. Workshop on Constraint Solving and Constraint Logic Programming, pages 160-169, 2007. Keyword(s): algorithms, parallelism. [bibtex-entry]



17. Marc Meister, Khalil Djelloul, and Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. In C. Baral, G. Brewka, and J. S. Schlipf, editors, LPNMR '07: Proc. 9th Intl. Conf. Logic Programming and Nonmonotonic Reasoning, volume 4483 of Lecture Notes in Computer Science, pages 201-213, May 2007. Springer-Verlag. [doi:10.1007/978-3-540-72200-7_18] Keyword(s): semantics. [bibtex-entry]



18. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. In WST '07: 9th Intl. Workshop on Termination, June 2007. Keyword(s): termination. [bibtex-entry]



19. Frank Raiser. Graph Transformation Systems in CHR. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 240-254, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_17] Keyword(s): Graph Transformation Systems, related formalisms. [bibtex-entry]



20. Frank Raiser and Paolo Tacchella. On Confluence of Non-terminating CHR Programs. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 63-76, September 2007. [PDF] Keyword(s): CHR 2007, confluence, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



21. Beata Sarna-Starosta and C.R. Ramakrishnan. Compiling Constraint Handling Rules for Efficient Tabled Evaluation. In M. Hanus, editor, PADL '07: Proc. 9th Intl. Symp. Practical Aspects of Declarative Languages, volume 4354 of Lecture Notes in Computer Science, pages 170-184, January 2007. Springer-Verlag. [doi:10.1007/978-3-540-69611-7_11] Keyword(s): implementation. [bibtex-entry]



22. Stephan Schiffel and Michael Thielscher. Fluxplayer: A Successful General Game Player. In AAAI '07: Proc. 22nd AAAI Conf. Artificial Intelligence, pages 1191-1196, July 2007. AAAI Press. Keyword(s): FLUX. [bibtex-entry]



23. Jon Sneyers, Peter Van Weert, and Tom Schrijvers. Aggregates for Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 91-105, September 2007. [PDF] Keyword(s): CHR 2007, extensions, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



24. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Bart Demoen. Aggregates in Constraint Handling Rules: Extended Abstract. In V. Dahl and I. Niemelä, editors, ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, pages 446-448, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2_39] Keyword(s): extensions. [bibtex-entry]



25. Martin Sulzmann and Edmund S.L. Lam. Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 139-149, September 2007. [PDF] Keyword(s): CHR 2007, parallelism, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



26. Martin Sulzmann and Edmund S.L. Lam. Haskell - Join - Rules. In Olaf Chitil, editor, IFL '07: 19th Intl. Symp. Implementation and Application of Functional Languages, pages 195-210, September 2007. Keyword(s): related formalisms. [bibtex-entry]



27. Martin Sulzmann and Meng Wang. Aspect-oriented programming with type classes. In Proceedings of the 6th workshop on Foundations of aspect-oriented languages, FOAL '07, pages 65-74, 2007. ACM. ISBN: 978-1-59593-671-4. [WWW] Keyword(s): type systems. [bibtex-entry]



28. Paolo Tacchella, Maurizio Gabbrielli, and Maria Chiara Meo. Unfolding in CHR. In M. Leuschel and A. Podelski, editors, PPDP '07: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, pages 179-186, July 2007. ACM Press. ISBN: 978-1-59593-769-8. [bibtex-entry]



29. Dean Voets, Paolo Pilozzi, and Danny De Schreye. A new approach to termination analysis of Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 77-89, September 2007. [PDF] Keyword(s): CHR 2007, termination, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



30. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR^∨: An Extended Refined Operational Semantics for CHR^∨ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]



31. Pieter Wuille, Tom Schrijvers, and Bart Demoen. CCHR: the fastest CHR Implementation, in C. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR '07: Proc. 4th Workshop on Constraint Handling Rules, pages 123-137, September 2007. [WWW] [PDF] Keyword(s): CHR 2007, implementation, CHR 2007, CHR 2007. [Abstract] [bibtex-entry]

1. Slim Abdennadher, Abdellatif Olama, Noha Salem, and Amira Thabet. ARM: Automatic Rule Miner. In LOPSTR '06, Revised Selected Papers, volume 4407 of Lecture Notes in Computer Science, July 2006. Springer-Verlag. Keyword(s): program generation. [bibtex-entry]



2. Dulce Aguilar-Solis. Learning Semantic Parsers: A Constraint Handling Rule Approach. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 447-448, August 2006. Springer-Verlag. Note: Poster Paper. [doi:10.1007/11799573_42] Keyword(s): applications, linguistics. [Abstract] [bibtex-entry]



3. Susan E. Brennan, Klaus Mueller, Greg Zelinsky, IV Ramakrishnan, David S. Warren, and Arie Kaufman. Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. In 2006 IEEE Symposium On Visual Analytics Science And Technology, October-November 2006. [bibtex-entry]



4. Henning Christiansen. On the Implementation of Global Abduction. In Katsumi Inoue, Ken Satoh, and Francesca Toni, editors, CLIMA '06: 7th Intl. Workshop on Computational Logic in Multi-Agent Systems – Revised, Selected and Invited Papers, volume 4371 of Lecture Notes in Computer Science, pages 226-245, May 2006. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]



5. Verónica Dahl and Baohua Gu. Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 442-443, August 2006. Springer-Verlag. Note: Poster Paper. [doi:10.1007/11799573_40] Keyword(s): applications, linguistics. [Abstract] [bibtex-entry]



6. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. INCLP(ℝ) - Interval-based nonlinear constraint logic programming over the reals. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 91-100, February 2006. Keyword(s): applications. [bibtex-entry]



7. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Search strategies in CHR(Prolog). In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 109-124, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, disjunction, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



8. Gregory J. Duck, Peter J. Stuckey, and Sebastian Brand. ACD Term Rewriting. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 117-131, August 2006. Springer-Verlag. [doi:10.1007/11799573_11] Keyword(s): related formalisms. [Abstract] [bibtex-entry]



9. Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 61-76, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, confluence, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



10. Thom Frühwirth. Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. In Recent Advances in Constraints — CSCLP '05: Joint ERCIM/CoLogNET Intl. Workshop on Constraint Solving and CLP, Revised Selected and Invited Papers, volume 3978 of Lecture Notes in Artificial Intelligence, 2006. Springer-Verlag. [bibtex-entry]



11. Thom Frühwirth. Constraint Handling Rules: the story so far. In A. Bossi and M.J. Maher, editors, PPDP '06: Proc. 8th Intl. Conf. Princ. Pract. Declarative Programming, pages 13-14, July 2006. ACM Press. ISBN: 1-59593-388-3. Keyword(s): tutorial. [bibtex-entry]



12. Thom Frühwirth. Deriving Linear-Time Algorithms from Union-Find in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 49-60, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, algorithms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



13. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A compositional Semantics for CHR with propagation rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 93-107, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, semantics, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



14. Sandrine-Dominique Gouraud and Arnaud Gotlieb. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. In P. Van Hentenryck, editor, PADL '06: Proc. 8th Intl. Symp. Practical Aspects of Declarative Languages, volume 3819 of Lecture Notes in Computer Science, pages 1-15, January 2006. Springer-Verlag. [doi:10.1007/11603023_1] Keyword(s): applications, testing. [bibtex-entry]



15. Michael Hanus. Adding Constraint Handling Rules to Curry. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 81-90, February 2006. Keyword(s): implementation. [bibtex-entry]



16. Martin Kaeser and Marc Meister. Implementation of an F-Logic Kernel in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 33-47, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [PDF] Keyword(s): CHR 2006, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



17. Nikolai Kosmatov. A constraint solver for sequences and its applications. In Proc. 2006 ACM Symp. on Applied Computing, pages 404-408, 2006. ACM Press. [bibtex-entry]



18. Nikolai Kosmatov. Constraint Solving for Sequences in Software Validation and Verification. In INAP '05: Proc. 16th Intl. Conf. Applications of Declarative Programming and Knowledge Management, volume 4369 of Lecture Notes in Computer Science, pages 25-37, 2006. Springer-Verlag. [bibtex-entry]



19. Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 17-31, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



20. Marc Meister. Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 172-181, February 2006. Keyword(s): algorithms, parallelism. [bibtex-entry]



21. Marc Meister, Khalil Djelloul, and Thom Frühwirth. Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In F. Azevedo and others, editors, CSCLP '06: Proc. 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming, volume 4651 of Lecture Notes in Computer Science, pages 139-153, June 2006. Springer-Verlag. ISBN: 978-3-540-73816-9. [doi:10.1007/978-3-540-73817-6_9] Keyword(s): complexity, algorithms. [bibtex-entry]



22. Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 77-91, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



23. Jacques Robin and Jairson Vitorino. ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 192-199, February 2006. [bibtex-entry]



24. Tom Schrijvers and Maurice Bruynooghe. Polymorphic algebraic data type reconstruction. In A. Bossi and M.J. Maher, editors, PPDP '06: Proc. 8th Intl. Conf. Princ. Pract. Declarative Programming, pages 85-96, July 2006. ACM Press. ISBN: 1-59593-388-3. Keyword(s): type systems. [bibtex-entry]



25. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, and Thom Frühwirth. Automatic implication checking for CHR constraints. In RULE '05: 6th Intl. Workshop on Rule-Based Programming, volume 147(1) of Electronic Notes in Theoretical Computer Science, pages 93-111, January 2006. Elsevier. [bibtex-entry]



26. Tom Schrijvers, Neng-Fa Zhou, and Bart Demoen. Translating Constraint Handling Rules into Action Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 141-155, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, implementation, related formalisms, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



27. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 182-191, February 2006. Keyword(s): algorithms. [bibtex-entry]



28. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Memory reuse for CHR. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 72-86, August 2006. Springer-Verlag. [doi:10.1007/11799573_8] Keyword(s): implementation, optimizing compilation. [Abstract] [bibtex-entry]



29. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. Type Processing by Constraint Reasoning. In N. Kobayashi, editor, APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, pages 1-25, November 2006. Springer-Verlag. Note: Invited talk. ISBN: 3-540-48937-1. Keyword(s): type systems. [bibtex-entry]



30. Martin Sulzmann, Tom Schrijvers, and Peter J. Stuckey. Principal Type Inference for GHC-Style Multi-parameter Type Classes. In N. Kobayashi, editor, APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, pages 26-43, November 2006. Springer-Verlag. ISBN: 3-540-48937-1. Keyword(s): type systems. [bibtex-entry]



31. Martin Sulzmann and Meng Wang. Modular generic programming with extensible superclasses. In Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, WGP '06, pages 55-65, 2006. ACM. ISBN: 1-59593-492-8. [WWW] Keyword(s): type systems. [bibtex-entry]



32. Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. A Framework for Extended Algebraic Data Types. In FLOPS '06: Proc. 8th Intl. Symp. Functional and Logic Programming, volume 3945 of Lecture Notes in Computer Science, pages 47-64, 2006. Springer-Verlag. [doi:10.1007/11737414_5] Keyword(s): type systems. [bibtex-entry]



33. Kazunori Ueda, Norio Kato, Koji Hara, and Ken Mizuno. LMNtal as a Unifying Declarative Language. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 1-15, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. Note: Invited talk. [PDF] Keyword(s): related formalisms, CHR 2006, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]



34. Peter Van Weert, Jon Sneyers, Tom Schrijvers, and Bart Demoen. Extending CHR with Negation as Absence. In T. Schrijvers and Th. Frühwirth, editors, CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, pages 125-140, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, extensions, CHR 2006, CHR 2006. [Abstract] [bibtex-entry]

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]

1. Slim Abdennadher and Thom Frühwirth. Integration and Optimization of Rule-based Constraint Solvers. In M. Bruynooghe, editor, LOPSTR '03, volume 3018 of Lecture Notes in Computer Science, pages 198-213, 2004. Springer-Verlag. [PDF] [bibtex-entry]



2. Dulce Aguilar-Solis and Verónica Dahl. Coordination Revisited – A Constraint Handling Rule Approach. In IBERAMIA '04: Proc. 9th Ibero-American Conf. on AI, volume 3315 of Lecture Notes in Computer Science, pages 315-324, November 2004. Keyword(s): applications. [bibtex-entry]



3. Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, and Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In H. Haddad and others, editors, SAC '04: Proc. 19th ACM Symp. Applied Computing, pages 72-78, March 2004. ACM Press. Keyword(s): applications, verification. [bibtex-entry]



4. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction using Social Integrity Constraints. In LCMAS'03: Logic and Communication in Multi-Agent Systems, volume 85(2) of Electronic Notes in Theoretical Computer Science, pages 94-116, 2004. Elsevier. [bibtex-entry]



5. Liviu Badea, Doina Tilivea, and Anca Hotaran. Semantic Web Reasoning for Ontology-Based Integration of Resources. In PPSWR '04: Proc. second Intl. Workshop on Principles And Practice Of Semantic Web Reasoning, volume 3208 of Lecture Notes in Computer Science, pages 61-75, September 2004. Springer-Verlag. Keyword(s): applications. [bibtex-entry]



6. Henning Christiansen. CHR Grammars with multiple constraint stores. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 1-7, May 2004. [PDF] Keyword(s): CHR 2004, linguistics, applications, CHR 2004, CHR 2004. [bibtex-entry]



7. Verónica Dahl. An Abductive Treatment of Long Distance Dependencies in CHR. In CSLP '04: Proc. First Intl. Workshop on Constraint Solving and Language Processing, volume 3438 of Lecture Notes in Computer Science, pages 17-31, 2004. Springer-Verlag. Note: Invited Paper. Keyword(s): abduction. [bibtex-entry]



8. Verónica Dahl and Kimberly Voll. Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. In NLUCS '04: Proc. First Intl. Workshop on Natural Language Understanding and Cognitive Sciences, April 2004. [bibtex-entry]



9. Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. A. Schmidt, editor, ESOP '04: Proc. 13th European Symp. on Programming, volume 2986 of Lecture Notes in Computer Science, pages 49-63, mar/apr 2004. Springer-Verlag. Keyword(s): type systems. [bibtex-entry]



10. Gregory J. Duck, Peter J. Stuckey, and Marìa Garcìa de la Banda. Compiling Ask Constraints. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 105-119, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation. [bibtex-entry]



11. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 90-104, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): semantics, implementation. [bibtex-entry]



12. Gerald Penn and Frank Richter. Lexical Resource Semantics: From Theory to Implementation. In Stefan Mueller, editor, Proceedings of the 11th International Conference on Head-Driven Phrase Structure Grammar, pages 423-443, 2004. CSLI Publications. [bibtex-entry]



13. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 475-476, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): applications. [bibtex-entry]



14. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: Implementation and application. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 8-12, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, implementation, CHR 2004, CHR 2004. [Abstract] [bibtex-entry]



15. Tom Schrijvers and David S. Warren. Constraint Handling Rules and tabled execution. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 120-136, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation. [bibtex-entry]



16. Hugo Simões and Mário Florido. TypeTool: A Type Inference Visualization Tool. In H. Kuchen, editor, WFLP '04: Proc. 13th Intl. Workshop on Functional and (Constraint) Logic Programming, RWTH Aachen, Department of Computer Science, Technical report AIB-2004-05, Aachen, Germany, pages 48-61, June 2004. Keyword(s): type systems. [bibtex-entry]



17. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. The Chameleon System. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 13-32, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, type systems, CHR 2004, CHR 2004. [Abstract] [bibtex-entry]

1. 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 Electronic Notes in Theoretical Computer Science, pages 45-60, September 2003. Elsevier. Keyword(s): program generation. [bibtex-entry]



2. 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. [bibtex-entry]



3. Emmanuel Coquery and François Fages. TCLP: A type checker for CLP(X). In F. Mesnard and A. Serebrenik, editors, WLPE '03, K.U.Leuven, Department of Computer Science, Technical report CW 371, pages 17-30, 2003. Keyword(s): type systems. [bibtex-entry]



4. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. Extending arbitrary solvers with Constraint Handling Rules. In PPDP '03, pages 79-90, 2003. ACM Press. ISBN: 1-58113-705-2. Keyword(s): implementation. [bibtex-entry]



5. 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. [bibtex-entry]



6. 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. [bibtex-entry]



7. Eric Monfroy and Carlos Castro. Basic components for constraint solver cooperations. In SAC '03: Proc. 2003 ACM symposium on Applied Computing, New York, NY, USA, pages 367-374, 2003. ACM. ISBN: 1-58113-624-2. [doi:10.1145/952532.952606] [bibtex-entry]



8. 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] [bibtex-entry]



9. 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, Department of Computer Science, Technical report DCC-2003-05, pages 7-20, December 2003. Keyword(s): implementation. [bibtex-entry]

1. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss. JACK: A Java Constraint Kit. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, pages 1-17, November 2002. Elsevier. Note: See also http://pms.ifi.lmu.de/software/jack/. Keyword(s): Java. [bibtex-entry]



2. Sandra Alves and Mario Florido. Type Inference using Constraint Handling Rules. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, pages 56-72, November 2002. Elsevier. Keyword(s): type systems. [bibtex-entry]



3. Liviu Badea and Doina Tilivea. Intelligent Information Integration as a Constraint Handling Problem. In FQAS '02: Proc. 5th Intl. Conf. on Flexible Query Answer Systems, volume 2522 of Lecture Notes in Computer Science, October 2002. Springer-Verlag. [doi:10.1007/3-540-36109-X_2] [Abstract] [bibtex-entry]



4. Sebastian Brand. A Note on Redundant Rules in Rule-based Constraint Programming. In Joint ERCIM/CologNet Intl. Workshop on Constraint Solving and Constraint Logic Programming, Selected papers, volume 2627 of Lecture Notes in Computer Science, pages 279-336, June 2002. Springer-Verlag. Keyword(s): optimizing compilation. [bibtex-entry]



5. Aykut Firat, Stuart Madnick, and Benjamin Grosof. Financial information integration in the presence of equational ontological conflicts. In Proc. 12th Workshop Information Technologies and Systems, 2002. [Abstract] [bibtex-entry]



6. Thom Frühwirth. As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. In A. Di Pierro and H. Wiklicky, editors, QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages, volume 59(3) of Electronic Notes in Theoretical Computer Science, 2002. Elsevier. Keyword(s): complexity. [bibtex-entry]



7. Thom Frühwirth. As Time Goes By: Automatic Complexity Analysis of Simplification Rules. In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, KR '02: Proc. 8th Intl. Conf. Princ. Knowledge Representation and Reasoning, pages 547-557, April 2002. Morgan Kaufmann. Keyword(s): complexity. [bibtex-entry]



8. Thom Frühwirth, Alessandra Di Pierro, and Herbert Wiklicky. Probabilistic Constraint Handling Rules. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 76 of Electronic Notes in Theoretical Computer Science, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions. [bibtex-entry]



9. Harald Ganzinger and David A. McAllester. Logical Algorithms. In P. J. Stuckey, editor, ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 209-223, jul/aug 2002. Springer-Verlag. Keyword(s): related formalisms. [bibtex-entry]



10. Diego Garat and Dina Wonsever. A Constraint Parser for Contextual Rules. In Proc. 22nd Intl. Conf. of the Chilean Computer Science Society, pages 234-242, November 2002. IEEE Computer Society. [bibtex-entry]



11. Michael J. Maher. Propagation completeness of reactive constraints. In P. J. Stuckey, editor, ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 148-162, jul/aug 2002. Springer-Verlag. [bibtex-entry]



12. Eduardo Torres Schumann. A Literate Programming System for Logic Programs with Constraints. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, University of Udine, Research Report UDMI/18/2002/RR, 2002. [bibtex-entry]



13. Christian Seitz, Bernhard Bauer, and Michael Berger. Planning and Scheduling in Multi Agent Systems using Constraint Handling Rules. In IC-AI '02: Proc. Intl. Conf. Artificial Intelligence, June 2002. CSREA Press. [bibtex-entry]



14. Michael Thielscher. Reasoning About Actions with CHRs and Finite Domain Constraints. In P. J. Stuckey, editor, ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, pages 70-84, jul/aug 2002. Springer-Verlag. [bibtex-entry]

1. Slim Abdennadher and Christophe Rigotti. Using confluence to generate rule-based constraint solvers. In R. De Nicola and H. Sondergaard, editors, PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming, pages 127-135, September 2001. ACM Press. ISBN: 1-58113-388-X. Keyword(s): confluence. [bibtex-entry]



2. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE '01, December 2001. [bibtex-entry]



3. Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of Electronic Notes in Theoretical Computer Science, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination. [bibtex-entry]



4. Joost Geurts, Jacco van Ossenbruggen, and Lynda Hardman. Application-Specific Constraints for Multimedia Presentation Generation. In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling, pages 247-266, November 2001. Keyword(s): applications. [bibtex-entry]



5. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP '01, volume 2239 of Lecture Notes in Computer Science, pages 256-270, 2001. Springer-Verlag. ISBN: 3-540-42863-1. Keyword(s): Java, extensions. [bibtex-entry]



6. Armin Wolf. Attributed Variables for Dynamic Constraint Solving. In Proc. 14th Intl. Conf. Applications of Prolog, pages 211-219, October 2001. Prolog Association of Japan. Keyword(s): implementation, extensions. [bibtex-entry]

1. Slim Abdennadher. A Language for Experimenting with Declarative Paradigms. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000. Keyword(s): disjunction. [bibtex-entry]



2. Slim Abdennadher and Henning Christiansen. An Experimental CLP Platform for Integrity Constraints and Abduction. In FQAS '00: Proc. 4th Intl. Conf. Flexible Query Answering Systems, pages 141-152, October 2000. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]



3. Slim Abdennadher, Matthias Saft, and Sebastian Will. Classroom Assignment using Constraint Logic Programming. In PACLP '00: Proc. 2nd Intl. Conf. and Exhibition on Practical Application of Constraint Technologies and Logic Programming, April 2000. [bibtex-entry]



4. Thom Frühwirth. Proving Termination of Constraint Solver Programs. In K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of Lecture Notes in Computer Science, pages 298-317, 2000. Springer-Verlag. ISBN: 3-540-67885-9. [doi:10.1007/3-540-44654-0_15] Keyword(s): termination. [bibtex-entry]



5. Heiko Lötzbeyer and Alexander Pretschner. AutoFocus on Constraint Logic Programming. In LPSE '00: Proc. Intl. Workshop on (Constraint) Logic Programming and Software Engineering, July 2000. [bibtex-entry]



6. Frank Morawietz. Chart Parsing and Constraint Programming. In M. Kay, editor, COLING '00: Proc. 18th Intl. Conf. on Computational Linguistics, jul/aug 2000. Morgan Kaufmann. [bibtex-entry]



7. Gerald Penn. Applying Constraint Handling Rules to HPSG. In T. Frühwirth and others, editors, RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000. [bibtex-entry]



8. Carlos Ribeiro, André Zúquete, Paulo Ferreira, and Paulo Guedes. Security policy consistency. In T. Frühwirth and others, editors, RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000. [bibtex-entry]



9. Georg Ringwelski and Hans Schlenker. Type Inference in CHR Programs for the Composition of Constraint Systems. In S. Abdennadher, U. Geske, and D. Seipel, editors, WLP '00: Proc. 15th Workshop on Logic Programming, pages 137-146, August 2000. Keyword(s): type systems. [bibtex-entry]



10. Georg Ringwelski and Hans Schlenker. Using typed interfaces to compose CHR programs. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000. [bibtex-entry]



11. Armin Wolf. Projection in Adaptive Constraint Handling. In K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors, New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of Lecture Notes in Computer Science, pages 318-338, 2000. Springer-Verlag. ISBN: 3-540-67885-9. [bibtex-entry]



12. Armin Wolf. Toward a Rule-Based Solution of Dynamic Constraint Hierarchies Over Finite Domains. In T. Frühwirth and others, editors, RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000. [bibtex-entry]

1. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP '99: Proc. 5th Intl. Conf. Princ. Pract. Constraint Programming, volume 1713 of Lecture Notes in Computer Science, pages 43-57, October 1999. Springer-Verlag. ISBN: 3-540-66626-5. Keyword(s): semantics. [bibtex-entry]



2. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP '99, volume 1702 of Lecture Notes in Computer Science, pages 117-133, 1999. Springer-Verlag. Keyword(s): implementation. [bibtex-entry]



3. Carlos Ribeiro and Paulo Guedes. Verifying workflow processes against organization security policies. In WETICE '99: Proc. 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, 1999. IEEE Computer Society. [doi:10.1109/ENABL.1999.805198] [bibtex-entry]

1. Slim Abdennadher and Thom Frühwirth. On Completion of Constraint Handling Rules. In M. J. Maher and J.-F. Puget, editors, CP '98: Proc. 4th Intl. Conf. Princ. Pract. Constraint Programming, volume 1520 of Lecture Notes in Computer Science, pages 25-39, October 1998. Springer-Verlag. ISBN: 3-540-65224-8. Keyword(s): program generation. [bibtex-entry]



2. Slim Abdennadher and Heribert Schütz. CHR^∨, A Flexible Query Language. In T. Andreasen, H. Christiansen, and H.L. Larsen, editors, FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of Lecture Notes in Artificial Intelligence, pages 1-14, May 1998. Springer-Verlag. Keyword(s): disjunction. [bibtex-entry]



3. Stéphane Bressan and Cheng Hian Goh. Answering Queries in Context. In T. Andreasen, H. Christiansen, and H.L. Larsen, editors, FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of Lecture Notes in Artificial Intelligence, pages 68-82, May 1998. Springer-Verlag. [bibtex-entry]



4. Thom Frühwirth and Pascal Brisset. Optimal Placement of Base Stations in Wireless Indoor Telecommunication. In M. J. Maher and J.-F. Puget, editors, CP '98: Proc. 4th Intl. Conf. Princ. Pract. Constraint Programming, volume 1520 of Lecture Notes in Computer Science, pages 476-480, October 1998. Springer-Verlag. ISBN: 3-540-65224-8. Keyword(s): applications. [bibtex-entry]

1. Slim Abdennadher. Operational Semantics and Confluence of Constraint Propagation Rules. In G. Smolka, editor, CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming, volume 1330 of Lecture Notes in Computer Science, pages 252-266, 1997. Springer-Verlag. Keyword(s): confluence, semantics. [bibtex-entry]



2. Stéphane Bressan. Overview of a Prolog implementation of COntext INterchange mediator. In PAP '97: Proc. Fifth Intl. Conf. Pract. Applic. Prolog, London, 1997. Practical Application Company Ltd.. [bibtex-entry]



3. Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart Madnick, and Michael Siege. A Procedure for Mediation of Queries to Sources in Disparate Contexts. In Proc. Intl. Logic Programming Symp., pages 213-228, 1997. MIT Press. [Abstract] [bibtex-entry]

1. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. On confluence of Constraint Handling Rules. In CP '96: Proc. Second Intl. Conf. Principles and Practice of Constraint Programming, volume 1118 of Lecture Notes in Computer Science, pages 1-15, August 1996. Springer-Verlag. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence. [Abstract] [bibtex-entry]



2. Marìa Teresa Escrig Monferrer and Francisco Toledo Lobo. Enhancing qualitative relative orientation with qualitative distance for robot path planning. In ICTAI '96: Proc. 8th IEEE Intl. Conf. Tools with Artif. Intell., pages 174-182, November 1996. IEEE Computer Society. [doi:10.1109/TAI.1996.560449] [bibtex-entry]



3. Eric Monfroy, Michael Rusinowitch, and René Schott. Implementing non-linear constraints with cooperative solvers. In SAC '96: Proc. 1996 ACM symposium on Applied Computing, pages 63-72, 1996. ACM Press. ISBN: 0-89791-820-7. [doi:10.1145/331119.331147] [bibtex-entry]

1. Thom Frühwirth. Constraint Handling Rules. In A. Podelski, editor, Constraint Programming: Basic and Trends — Selected Papers of the 22nd Spring School in Theoretical Computer Sciences, May 16–20, 1994, volume 910 of Lecture Notes in Computer Science, pages 90-107, 1995. Springer-Verlag. ISBN: 3-540-59155-9. Keyword(s): tutorial. [bibtex-entry]

1. Thom Frühwirth. Entailment simplification and constraint constructors for user-defined constraints. In WCLP '93: 3rd Workshop on Constraint Logic Programming, March 1993. [bibtex-entry]

1. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In Services (SERVICES), 2012 IEEE Eighth World Congress on, pages 211-218, June. [doi:10.1109/SERVICES.2012.36] Keyword(s): applications. [Abstract] [bibtex-entry]



2. M. Spies. Continous Monitoring for IT Governance with Domain Ontologies. In Database and Expert Systems Applications (DEXA), 2012 23rd International Workshop on, pages 43-47, Sept.. ISSN: 1529-4188. [doi:10.1109/DEXA.2012.36] Keyword(s): Description Logic. [Abstract] [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