Jon Sneyers
Jon Sneyers
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
As time goes by: Constraint handling rules-a survey of CHR research from 1998 to 2007
J Sneyers, P Van Weert, T Schrijvers, L De Koninck
arXiv preprint arXiv:0906.4474, 2009
922009
Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR
J Sneyers, T Schrijvers, B Demoen
Proceedings of the 20th Workshop on logic programming, 182-191, 2006
692006
The computational power and complexity of Constraint Handling Rules
J Sneyers, T Schrijvers, B Demoen
Proceedings of the 2nd Workshop on Constraint Handling Rules, 3-17, 2005
662005
The computational power and complexity of Constraint Handling Rules
J Sneyers, T Schrijvers, B Demoen
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (2), 1-42, 2009
482009
Extending CHR with negation as absence
P Van Weert, J Sneyers, T Schrijvers, B Demoen
Proceedings of the Third Workshop on Constraint Handling Rules, 125-139, 2006
332006
CHR (PRISM)-based probabilistic logic learning
J Sneyers, W Meert, J Vennekens, Y Kameya, T Sato
arXiv preprint arXiv:1007.3858, 2010
322010
Guard and continuation optimization for occurrence representations of CHR
J Sneyers, T Schrijvers, B Demoen
International Conference on Logic Programming, 83-97, 2005
232005
Join ordering for constraint handling rules
L De Koninck, J Sneyers
Proceedings of the Fourth Workshop on Constraint Handling Rules, 107-121, 2007
212007
Turing-complete subclasses of CHR
J Sneyers
International Conference on Logic Programming, 759-763, 2008
202008
Memory reuse for CHR
J Sneyers, T Schrijvers, B Demoen
International Conference on Logic Programming, 72-86, 2006
202006
Aggregates for CHR through program transformation
P Van Weert, J Sneyers, B Demoen
International Symposium on Logic-Based Program Synthesis and Transformation …, 2007
152007
Aggregates in constraint handling rules
J Sneyers, P Van Weert, T Schrijvers, B Demoen
International Conference on Logic Programming, 446-448, 2007
132007
Optimizing compilation and computational complexity of Constraint Handling Rules
J Sneyers
International Conference on Logic Programming, 494-498, 2009
122009
Probabilistic-logical modeling of music
J Sneyers, J Vennekens, D De Schreye
International Symposium on Practical Aspects of Declarative Languages, 60-72, 2006
122006
Guard Simplification in CHR programs
J Sneyers, T Schrijvers, B Demoen
CW Reports, 23-23, 2004
122004
APOPCALEAPS: Automatic music generation with CHRiSM
J Sneyers, D De Schreye
Proceedings of 22nd Benelux Conference on Artificial Intelligence (BNAIC'10 …, 2010
102010
CHRiSM: Chance rules induce statistical models
J Sneyers, W Meert, J Vennekens
Proceedings of the Sixth International Workshop on Constraint Handling Rules …, 2009
92009
Probabilistic termination of CHRiSM programs
J Sneyers, D De Schreye
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
82011
Generalized CHR machines
J Sneyers, T Frühwirth
Proceedings of the Fifth International Workshop on Constraint Handling Rules …, 2008
82008
Probabilistic legal reasoning in CHRiSM
J Sneyers, D De Schreye, T Fruehwirth
Theory and Practice of Logic Programming 13 (4-5), 769-781, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20