Jon Sneyers

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Topics

Legal Reasoning

Top Venues

Theory Pract. Log. Program.

Publications

Alexander Rhatushnyak, Jan Wassenberg, Jon Sneyers, Jyrki Alakuijala, Lode Vandevenne, Luca Versari, Robert Obryk, Zoltan Szabadka, Evgenii Kliuchnikov, Iulia-Maria Comsa, Krzysztof Potempa, Martin Bruse, Moritz Firsching, Renata Khasanova, Ruud van Asseldonk, Sami Boukortt, Sebastian Gomez, Thomas Fischbacher
Committee Draft of JPEG XL Image Coding System. CoRR (2019)
Jon Sneyers, Pieter Wuille
FLIF: Free lossless image format based on MANIAC compression. ICIP (2016)
Rémy Haemmerlé, Jon Sneyers
Proceedings of the Eleventh Workshop on Constraint Handling Rules. CoRR (2014)
Jon Sneyers, Danny De Schreye, Thom W. Frühwirth
Probabilistic legal reasoning in CHRiSM. Theory Pract. Log. Program. 13 (4-5) (2013)
Jon Sneyers, Danny De Schreye
Probabilistic Termination of CHRiSM Programs. LOPSTR (2011)
Colin J. Nicholson, Danny De Schreye, Jon Sneyers
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise. ICLP (Technical Communications) (2011)
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
As time goes by: Constraint Handling Rules. Theory Pract. Log. Program. 10 (1) (2010)
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato
CHR(PRISM)-based Probabilistic Logic Learning CoRR (2010)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR CoRR (2010)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR. Theory Pract. Log. Program. 10 (4-6) (2010)
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato
CHR(PRISM)-based probabilistic logic learning. Theory Pract. Log. Program. 10 (4-6) (2010)
Jon Sneyers
Optimizing Compilation and Computational Complexity of Constraint Handling Rules. ICLP (2009)
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007 CoRR (2009)
Jon Sneyers, Tom Schrijvers, Bart Demoen
The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31 (2) (2009)
Jon Sneyers
Turing-Complete Subclasses of CHR. ICLP (2008)
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen
Aggregates in Constraint Handling Rules. ICLP (2007)
Peter Van Weert, Jon Sneyers, Bart Demoen
Aggregates for CHR through Program Transformation. LOPSTR (2007)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Memory Reuse for CHR. ICLP (2006)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP (2006)
Jon Sneyers, Joost Vennekens, Danny De Schreye
Probabilistic-Logical Modeling of Music. PADL (2006)
Jon Sneyers
Analysis and Optimization of CHR Programs. ICLP (2005)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard Simplification in CHR programs. W(C)LP (2005)
Jon Sneyers, Tom Schrijvers, Bart Demoen
Guard and Continuation Optimization for Occurrence Representations of CHR. ICLP (2005)