Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Soshant Bali
Koh Aoki
Yan-Han Chew
Motoharu Sonogashira
Bhupendra Singh
Taufiq Hasan
Benoit Desouter
David J. Westover
Sebastian Magda
David MacDonald
Home
/
Author
/
JON SNEYERS
Author Info
Open Visualization
Name
Affiliation
Papers
JON SNEYERS
Katholieke Univ Leuven, Dept Comp Sci, Louvain, Belgium
16
Collaborators
Citations
PageRank
14
117
9.47
Referers
Referees
References
96
258
403
Search Limit
100
258
Publications (16 rows)
Collaborators (14 rows)
Referers (96 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Probabilistic legal reasoning in CHRiSM.
0
0.34
2013
Probabilistic termination of CHRiSM programs
4
0.51
2011
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise.
0
0.34
2011
As time goes by: Constraint Handling Rules
12
0.59
2010
Chr(prism)-based probabilistic logic learning
10
0.55
2010
Decidability properties for fragments of chr
2
0.39
2010
Optimizing Compilation and Computational Complexity of Constraint Handling Rules
1
0.36
2009
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
21
0.99
2009
The computational power and complexity of constraint handling rules
24
1.15
2009
Aggregates for CHR through Program Transformation
6
0.45
2007
Aggregates in constraint handling rules
6
0.54
2007
Probabilistic-logical modeling of music
6
0.51
2006
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR
13
1.18
2006
Analysis and optimization of CHR programs
1
0.34
2005
Guard and continuation optimization for occurrence representations of CHR
8
0.53
2005
Guard Simplification in CHR programs
3
0.69
2005
1