1. 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]



2. 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]



3. 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]



4. 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]



5. 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]



6. 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]



7. 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]



8. 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]



9. 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]



10. 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]



11. 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]

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



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



3. Paolo Pilozzi, Tom Schrijvers, and Danny De Schreye. Proving termination of CHR in Prolog: A transformational approach. Technical report CW 487, K.U.Leuven, Department of Computer Science, Leuven, Belgium, April 2007. [WWW] Keyword(s): termination. [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