BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Portugal
1 × Spain
2 × Denmark
4 × USA
Collaborated with:
∅ D.D.Schreye B.Demoen T.Schrijvers P.V.Weert J.Vennekens T.W.Frühwirth C.J.Nicholson M.Gabbrielli J.Mauro M.C.Meo W.Meert Y.Kameya T.Sato
Talks about:
chr (7) probabilist (5) program (3) optim (3) logic (3) constraint (2) chrism (2) aggreg (2) music (2) handl (2)

Person: Jon Sneyers

DBLP DBLP: Sneyers:Jon

Contributed to:

ICLP 20132013
ICLP 20112011
LOPSTR 20112011
ICLP 20102010
ICLP 20092009
ICLP 20082008
ICLP 20072007
LOPSTR 20072007
ICLP 20062006
PADL 20062006
ICLP 20052005

Wrote 13 papers:

ICLP-J-2013-SneyersSF #probability #reasoning
Probabilistic legal reasoning in CHRiSM (JS, DDS, TWF), pp. 769–781.
ICLP-2011-NicholsonSS #generative #logic #music #probability #using
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise (CJN, DDS, JS), pp. 231–239.
LOPSTR-2011-SneyersS #probability #source code #termination
Probabilistic Termination of CHRiSM Programs (JS, DDS), pp. 221–236.
ICLP-J-2010-GabbrielliMMS #decidability
Decidability properties for fragments of CHR (MG, JM, MCM, JS), pp. 611–626.
ICLP-J-2010-SneyersMVKS #learning #logic #probability
CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.
ICLP-2009-Sneyers #compilation #complexity #constraints #optimisation
Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
ICLP-2008-Sneyers #subclass
Turing-Complete Subclasses of CHR (JS), pp. 759–763.
ICLP-2007-SneyersWSD #constraints
Aggregates in Constraint Handling Rules (JS, PVW, TS, BD), pp. 446–448.
LOPSTR-2007-WeertSD #program transformation
Aggregates for CHR through Program Transformation (PVW, JS, BD), pp. 59–73.
ICLP-2006-SneyersSD #memory management #reuse
Memory Reuse for CHR (JS, TS, BD), pp. 72–86.
PADL-2006-SneyersVS #modelling #music
Probabilistic-Logical Modeling of Music (JS, JV, DDS), pp. 60–72.
ICLP-2005-Sneyers #analysis #optimisation #source code
Analysis and Optimization of CHR Programs (JS), pp. 450–451.
ICLP-2005-SneyersSD #continuation #optimisation
Guard and Continuation Optimization for Occurrence Representations of CHR (JS, TS, BD), pp. 83–97.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.