bart demoen
bart demoen
Professor of Computer Science, KU Leuven
Verified email at cs.kuleuven.be
TitleCited byYear
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
535*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
1582011
Abstract interpretation: towards the global optimisation of Prolog programs
M Bruynooghe, G Janssens, A Callebaut, B Demoen
CW Reports, 25-25, 1987
1581987
Improving the efficiency of inductive logic programming through the use of query packs
H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ...
Journal of Artificial Intelligence Research 16, 135-166, 2002
1512002
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
1501999
Analyzing logic programs using
M Codish, B Demoen
The Journal of Logic Programming 25 (3), 249-274, 1995
1401995
The KU Leuven CHR system: Implementation and application
T Schrijvers, B Demoen
First workshop on constraint handling rules: selected contributions, 1-5, 2004
1142004
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
991987
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
942002
Completely positive maps on the CCR-algebra
B Demoen, P Vanheuverzwijn, A Verbeure
Letters in mathematical physics 2 (2), 161-166, 1977
931977
So many WAM variations, so little time
B Demoen, PL Nguyen
Computational Logic—CL 2000, 1240-1254, 2000
782000
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
761999
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
MCB Demoen
Static analysis: First International Static Analysis Symposium, SAS'94 …, 1994
72*1994
Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop
M Codish, B Demoen
Static Analysis, 281-296, 1994
721994
Frequent pattern discovery in first-order logic
L Dehaspe
711998
On the efficient execution of ProbLog programs
A Kimmig, V Santos Costa, R Rocha, B Demoen, L De Raedt
Logic Programming, 175-189, 2008
702008
Towards typed prolog
T Schrijvers, V Santos Costa, J Wielemaker, B Demoen
Logic Programming, 693-697, 2008
682008
Executing query packs in ILP
H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ...
Inductive Logic Programming, 60-77, 2000
662000
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
652006
Completely positive quasi-free maps of the CCR-algebra
B Demoen, P Vanheuverzwijn, A Verbeure
Reports on Mathematical Physics 15 (1), 27-39, 1979
651979
The system can't perform the operation now. Try again later.
Articles 1–20