Publications of Jon Sneyers

Lirias | DeptDB | DBLP | Google Scholar

Journal papers

Jon Sneyers, Danny De Schreye, and Thom Frühwirth. Probabilistic Legal Reasoning in CHRiSM. 29th International Conference on Logic Programming (ICLP'13), Istanbul, Turkey, August 2013. Theory and Practice of Logic Programming, Vol. 13(4-5), pp. 769-781. PDF (© Cambridge University Press). Draft: [PDF]
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya and Taisuke Sato. CHR(PRISM)-based Probabilistic Logic Learning. 26th International Conference on Logic Programming (ICLP'10), Edinburgh, UK, July 2010. Theory and Practice of Logic Programming, Vol. 10(4-6), pp. 433-447. PDF (© Cambridge University Press). Draft: [PostScript] [PDF]
Jacopo Mauro, Maurizio Gabbrielli, Maria Chiara Meo and Jon Sneyers Decidability properties for fragments of CHR 26th International Conference on Logic Programming (ICLP'10), Edinburgh, UK, July 2010. Theory and Practice of Logic Programming, Vol. 10(4-6), pp. 611-626. PDF (© Cambridge University Press) Draft: [PostScript] [PDF]
Jon Sneyers, Peter Van Weert, Tom Schrijvers and Leslie De Koninck. As Time Goes By: Constraint Handling Rules — A Survey of CHR Research from 1998 to 2007. Theory and Practice of Logic Programming, Vol. 10(1), January 2010, pp. 1-47. PDF (© Cambridge University Press) Draft: [PostScript] [PDF]
Jon Sneyers. Rechtspositie en Loonvoorwaarden van Doctoraatsbursalen. T.O.R.B. (Tijdschrift voor Onderwijsrecht en Onderwijsbeleid) 2008-2009, nr. 5, pp. 353-361, mei-juni 2009. Draft: [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 31(2), Article 8, February 2009, 42 pages. [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. LNAI, Special Issue on Recent Advances in Constraint Handling Rules, vol. 5388, pp. 213-244, October 2008. [PostScript] [PDF]

Conference papers

Colin J. Nicholson, Danny De Schreye and Jon Sneyers. Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise.. 27th International Conference on Logic Programming (ICLP'11, Technical Communications), Lexington, Kentucky, USA, July 2011. LIPIcs 11, pp 231-239. [PDF]
Jon Sneyers and Danny De Schreye. Probabilistic Termination of CHRiSM Programs. 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), Odense, Denmark, July 2011. [PDF]
Jon Sneyers and Danny De Schreye. APOPCALEAPS: Automatic Music Generation with CHRiSM. 22nd Benelux Conference on Artificial Intelligence (BNAIC'10), Luxembourg, October 2010. [PDF]
Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules - Ph.D. thesis summary. 25th International Conference on Logic Programming (ICLP'09), Pasadena, California, USA, July 2009. LNCS 5649, pp. 494-498. [PostScript] [PDF]
Jon Sneyers. Turing-complete subclasses of CHR. 24th International Conference on Logic Programming (ICLP'08), Udine, Italy, December 2008. LNCS 5366, pp. 759-763. [PostScript] [PDF]
Peter Van Weert, Jon Sneyers and Bart Demoen. Aggregates for CHR through Program Transformation. 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07), Kongens Lyngby, Denmark, August 2007. LNCS 4915, pp. 59-73. [PostScript] [PDF]
Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen. Aggregates in Constraint Handling Rules: Extended Abstract. 23rd International Conference on Logic Programming (ICLP'07), Porto, Portugal, September 2007. LNCS 4670, pp. 446-448. [PostScript] [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Memory reuse for CHR. 22nd International Conference on Logic Programming (ICLP'06), Seattle, WA, August 2006. LNCS 4079, pp. 72-86. [PostScript] [PDF]
Jon Sneyers, Joost Vennekens and Danny De Schreye. Probabilistic-logical Modeling of Music. 8th International Symposium on Practical Aspects of Declarative Languages (PADL'06), Charleston, South Carolina, January 2006. LNCS 3819, pp. 60-72. [PostScript] [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. 21st International Conference on Logic Programming (ICLP'05), Sitges, Spain, October 2005. LNCS 3668, pp. 83-97. [PostScript] [PDF]

Workshop papers

Jon Sneyers, Danny De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. 10th Workshop on Constraint Handling Rules (CHR'13), Berlin, Germany, July 2013. [PDF]
Jon Sneyers. Result-directed CHR Execution. 7th Workshop on Constraint Handling Rules (CHR'10), Edinburgh, UK, July 2010. [PostScript] [PDF]
Florian Geiselhart, Frank Raiser, Jon Sneyers and Thom Frühwirth. MTSeq — multi-touch-enabled music generation and manipulation based on CHR. 7th Workshop on Constraint Handling Rules (CHR'10), Edinburgh, UK, July 2010. [PDF]
Jon Sneyers, Wannes Meert and Joost Vennekens. CHRiSM: Chance Rules induce Statistical Models. 6th Workshop on Constraint Handling Rules (CHR'09), Pasadena, California, USA, July 2009. [PostScript] [PDF]
Peter Van Weert, Leslie De Koninck and Jon Sneyers. A Proposal for a next Generation of CHR. 6th Workshop on Constraint Handling Rules (CHR'09), Pasadena, California, USA, July 2009. [PostScript] [PDF]
Jon Sneyers and Thom Frühwirth. Generalized CHR Machines. 5th Workshop on Constraint Handling Rules (CHR'08), Hagenberg, Austria, July 2008. [PostScript] [PDF]
Leslie De Koninck and Jon Sneyers. Join Ordering for Constraint Handling Rules. 4th Workshop on Constraint Handling Rules (CHR'07), Porto, Portugal, September 2007. [PostScript] [PDF] (More information)
Jon Sneyers, Peter Van Weert and Tom Schrijvers. Aggregates for Constraint Handling Rules. 4th Workshop on Constraint Handling Rules (CHR'07), Porto, Portugal, September 2007. [PostScript] [PDF]
Peter Van Weert, Jon Sneyers, Tom Schrijvers and Bart Demoen. Extending CHR with Negation as Absence. 3rd Workshop on Constraint Handling Rules (CHR'06), Venice, Italy, July 2006. [PostScript] [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. 20th Workshop on Logic Programming (WLP'06), Vienna, Austria, February 2006. [PostScript] [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. 2nd Workshop on Constraint Handling Rules (CHR'05) at ICLP'05, Sitges, Spain, October 2005. Best Paper Award. [PostScript] [PDF]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Guard simplification in CHR programs. Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP'05), Armin Wolf, Thom Früwirth and Marc Meister (Editors), Ulmer Informatik-Berichte 2005-01, p. 123-134, University of Ulm, Germany, February 2005. [PostScript] [PDF]

Technical reports

Henning Christiansen and Jon Sneyers, editors. Proceedings of the tenth international workshop on Constraint Handling Rules. Technical report CW 641, K.U.Leuven, Department of Computer Science, July 2013. [report CW641] [PDF]
Jon Sneyers and Thom Frühwirth, editors. Proceedings of the ninth international workshop on Constraint Handling Rules. Technical report CW 624, K.U.Leuven, Department of Computer Science, September 2012. [report CW624] [PDF]
Jon Sneyers, editor. Proceedings of the eighth international workshop on Constraint Handling Rules. German University of Cairo (GUC), Technical report. September 2011. [PDF]
Jacopo Mauro, Maurizio Gabbrielli, Maria Chiara Meo and Jon Sneyers Decidability properties for fragments of CHR. Technical report.
Frank Raiser and Jon Sneyers, editors. Proceedings of the sixth international workshop on Constraint Handling Rules. Technical report CW 555, K.U.Leuven, Department of Computer Science, July 2009. [report CW555] [PDF]
Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen. Aggregates in CHR. Technical report CW 481, K.U.Leuven, Department of Computer Science, March 2007. [report CW481]
Peter Van Weert, Jon Sneyers, Tom Schrijvers and Bart Demoen. To CHR^¬ or not to CHR^¬: Extending CHR with Negation as Absence. Technical report CW 446, K.U.Leuven, Department of Computer Science, May 2006. [report CW446]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Suspension Optimization and In-place Updates for Optimizing CHR Compilation. Technical report CW 433, K.U.Leuven, Department of Computer Science, December 2005. [report CW433]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. Technical report CW 429, K.U.Leuven, Department of Computer Science, November 2005. [report CW429]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Guard and Continuation Optimization for Occurrence Representations of CHR. Technical report CW 420, K.U.Leuven, Department of Computer Science, July 2005. [report CW420]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Guard Reasoning for CHR Optimization. Technical report CW 411, K.U.Leuven, Department of Computer Science, May 2005. [report CW411]
Jon Sneyers, Tom Schrijvers and Bart Demoen. Guard simplification in CHR programs. Technical report CW 396, K.U.Leuven, Department of Computer Science, November 2004. [report CW396]

Slides/posters

Introduction to Constraint Handling Rules. Lecture handouts, CHR summer school 2011. Handouts [PDF]
Probabilistic CHR and an Application in Music — CHRiSM and APOPCALEAPS. Lecture handouts, CHR summer school 2011. Handouts [PDF]
APOPCALEAPS: Automatic Music Generation with CHRiSM. Presented at BNAIC'10. Slides [PDF]
Troubling Trends. Presented at the FWO “Kennismakers Spreken” event. Slides [PDF]
An introduction to Constraint Handling Rules. Lecture slides, CHR summer school 2010. Slides [PDF]
Computability and Complexity of Constraing Handling Rules. Lecture slides, CHR summer school 2010. Slides [PDF]
CHR(PRISM)-based Probabilistic Logic Learning. Presented at ICLP'10. Slides [PDF]
Result-directed CHR Execution. Presented at CHR'10. Slides [PDF]
Automatic Music Generation using CHRiSM. DTAI seminar of November 16, 2009. Slides [PDF]
Tutorial: Constraint Handling Rules. Presented at CHR Working Week, October 2009. Slides [OpenOffice 3.1], Handouts [PDF]
CHRiSM: Chance rules induce statistical models. Presented at CHR'09. Slides [PDF]
PhD summary: Optimizing Compilation and Computational Complexity of Constraint Handling Rules. Presented at ICLP'09. Slides [PDF]
Turing-complete Subclasses of CHR. Presented at ICLP'08. Slides [PDF]
PhD thesis: Optimizing Compilation and Computational Complexity of Constraint Handling Rules. October 22, 2008: Preliminary defense slides [PDF], November 24, 2008: Public defense slides [OpenOffice 2.4]
Generalized CHR Machines. Presented at CHR'08. Slides [PDF]
Constraint Handling Rules: recent research. Talk given at Uni Ulm, April 24, 2008. Slides [PDF]
Join ordering for CHR. Presented at CHR'07. Slides [PDF]
CHR: Analysis, Optimization, Complexity, Extensions. DTAI seminar of May 8, 2007. Slides [PDF]
Memory Reuse for CHR. Presented at ICLP'06. Slides [PDF]
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. Presented at WLP'06. Slides [PDF]
Probabilistic-logical Modeling of Music. Presented at PADL'06. Slides [PDF]
Shortest Paths. DTAI seminar of October 11, 2005. Slides [PDF]
Analysis and Optimization of CHR Programs. Research summary. Presented at the ICLP'05 poster session and Doctoral Program. Slides [PDF]
The Computational Power and Complexity of Constraint Handling Rules. Presented at CHR'05. Slides [PDF]
Guard and Continuation Optimization for Occurrence Representations of CHR. Presented at ICLP'05. Slides [PDF]
Optimizing compilation of CHR, PhD Symposium, Leuven, Belgium, April 2005. Poster [PDF]
Guard simplification in CHR programs. Presented at WCLP 2005. Slides [PDF]

Publications of Jon Sneyers

Journal papers

Conference papers

Workshop papers

Technical reports

Slides/posters

Other documents