|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato |
CHR(PRISM)-based Probabilistic Logic Learning |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers |
Decidability properties for fragments of CHR |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers |
Decidability properties for fragments of CHR. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck |
As time goes by: Constraint Handling Rules. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato |
CHR(PRISM)-based probabilistic logic learning. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
The computational power and complexity of constraint handling rules. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
constant factors, complexity, Constraint Handling Rules |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers |
Optimizing Compilation and Computational Complexity of Constraint Handling Rules. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Reasoning in the Refined Operational Semantics of CHR. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers |
Turing-Complete Subclasses of CHR. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
Aggregates in Constraint Handling Rules. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Weert, Jon Sneyers, Bart Demoen |
Aggregates for CHR through Program Transformation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Joost Vennekens, Danny De Schreye |
Probabilistic-Logical Modeling of Music. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
automatic music composition, PRISM, music classification, probabilistic-logical programming |
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Memory Reuse for CHR. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard and Continuation Optimization for Occurrence Representations of CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers |
Analysis and Optimization of CHR Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard Simplification in CHR programs. |
W(C)LP |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")