Towards digesting the alphabet-soup of statistical relational learning L De Raedt, B Demoen, D Fierens, B Gutmann, G Janssens, A Kimmig, ... Proceedings of the 1st Workshop on Probabilistic Programming: Universal …, 2008 | 744* | 2008 |
On the implementation of the probabilistic logic programming language ProbLog A Kimmig, B Demoen, L De Raedt, VS Costa, R Rocha Theory and Practice of Logic Programming 11 (2-3), 235-262, 2011 | 228 | 2011 |
Abstract interpretation: towards the global optimisation of Prolog programs M Bruynooghe Proceedings of the 4th International Symposium on Logic Programming, 192-204, 1987 | 169 | 1987 |
Scaling up inductive logic programming by learning from interpretations H Blockeel, L De Raedt, N Jacobs, B Demoen Data Mining and Knowledge Discovery 3 (1), 59-93, 1999 | 168 | 1999 |
Improving the efficiency of inductive logic programming through the use of query packs H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ... Arxiv preprint arXiv:1106.1803, 2011 | 163* | 2011 |
Analyzing logic programs using M Codish, B Demoen The Journal of Logic Programming 25 (3), 249-274, 1995 | 144 | 1995 |
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism P Van Roy, B Demoen, Y Willems TAPSOFT'87, 111-125, 1987 | 122 | 1987 |
The KU Leuven CHR system: Implementation and application T Schrijvers, B Demoen First workshop on constraint handling rules: selected contributions 2004, 01, 2004 | 121 | 2004 |
Completely positive maps on the CCR-algebra B Demoen, P Vanheuverzwijn, A Verbeure Letters in mathematical physics 2 (2), 161-166, 1977 | 120 | 1977 |
Towards typed prolog T Schrijvers, V Santos Costa, J Wielemaker, B Demoen Logic Programming, 693-697, 2008 | 112 | 2008 |
Query transformations for improving the efficiency of ILP systems VS Costa, A Srinivasan, R Camacho, H Blockeel, B Demoen, G Janssens, ... Journal of Machine Learning Research, 2002 | 102 | 2002 |
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 | 100 | 2009 |
An overview of HAL B Demoen, M de la Banda, W Harvey, K Marriott, P Stuckey Principles and Practice of Constraint Programming–CP’99, 174-188, 1999 | 86 | 1999 |
Completely positive quasi-free maps of the CCR-algebra B Demoen, P Vanheuverzwijn, A Verbeure Reports on Mathematical Physics 15 (1), 27-39, 1979 | 81 | 1979 |
On the static analysis of indirect control transfers in binaries B De Sutter, B De Bus, K De Bosschere, P Keyngnaert, B Demoen In PDPTA, 2000 | 80 | 2000 |
So many WAM variations, so little time B Demoen, PL Nguyen Computational Logic—CL 2000, 1240-1254, 2000 | 79 | 2000 |
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop MCB Demoen Static analysis: First International Static Analysis Symposium, SAS'94 …, 1994 | 78* | 1994 |
Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop M Codish, B Demoen Static Analysis, 281-296, 1994 | 78 | 1994 |
Dijkstra’s algorithm with Fibonacci heaps: An executable description in CHR J Sneyers, T Schrijvers, B Demoen 20th Workshop on Logic Programming 1843, 06-02, 2006 | 77 | 2006 |
On the efficient execution of ProbLog programs A Kimmig, V Santos Costa, R Rocha, B Demoen, L De Raedt Logic Programming, 175-189, 2008 | 76 | 2008 |