Sotabase

Career

· Visiting Research Scientist, KU Leuven1996–1999
· Professor, KU Leuven

Publications (442)

An Overview of HAL
International Conference on Principles and Practice of Constraint Programming · 1999
283
cited
Under Consideration for Publication in Theory and Practice of Logic Programming on the Implementation of the Probabilistic Logic Programming Language Problog
192
cited
Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand
ILPS · 1993
124
cited
Abstract Interpretation: Towards the Global Optimization of Prolog Programs
International Conference on Spoken Language Processing · 1987
123
cited
Scaling Up Inductive Logic Programming by Learning from Interpretations
Data mining and knowledge discovery · 1999
111
cited
The K.U.Leuven CHR system: Implementation and application
2004
104
cited
Completely positive maps on the CCR-algebra
1977
87
cited
Heap Memory Management in Prolog with Tabling: Principles and Practice
Journal of Functional and Logic Programming · 2001
82
cited
Query Transformations for Improving the Efficiency of ILP Systems
Journal of machine learning research · 2003
81
cited
The computational power and complexity of constraint handling rules
TOPL · 2009
80
cited
So Many WAM Variations, So Little Time
Computational Logic · 2000
70
cited
On the Efficient Execution of ProbLog Programs
International Conference on Logic Programming · 2008
66
cited
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
Sensors Applications Symposium · 1994
61
cited
Completely positive quasi-free maps of the CCR-algebra
1979
60
cited
On the Static Analysis of Indirect Control Transfers in Binaries
International Conference on Parallel and Distributed Processing Techniques and Applications · 2000
59
cited
Executing Query Packs in ILP
International Conference on Inductive Logic Programming · 2000
56
cited
User-definable rule priorities for CHR
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming · 2007
56
cited
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR
Workshop Logische Programmierung · 2006
55
cited
CAT: The Copying Approach to Tabling
Journal of Functional and Logic Programming · 1998
54
cited
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism
TAPSOFT, Vol.2 · 1987
53
cited
Sotabase