Sotabase

Career

· Emeritus, KU Leuven2015–
· Part-time Professor, KU Leuven1993–
· Research Director, NFWO1992–
· Special Doctor, KU Leuven1988–
· Senior Research Associate, NFWO1988–
· PhD in Computer Science, KU Leuven1979–
· Engineer in Computer Science, KU Leuven1974–
· Researcher, KU Leuven1974–

Publications (736)

A Practical Framework for the Abstract Interpretation of Logic Programs
The Journal of Logic Programming · 1991
311
cited
Logic programs with annotated disjunctions
Non-Monotonic Reasoning · 2004
266
cited
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
Algorithmica · 2007
210
cited
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation
The Journal of Logic Programming · 1990
177
cited
A Theory of Clausal Discovery
International Joint Conference on Artificial Intelligence · 1993
162
cited
Abstract Interpretation: Towards the Global Optimization of Prolog Programs
International Conference on Spoken Language Processing · 1987
123
cited
Machine learning techniques to examine large patient databases.
Bailliere's Best Practice & Research. Clinical Anaesthesiology · 2009
121
cited
Deduction Revision by Intelligent Backtracking
Implementations of Prolog · 1984
112
cited
Improving abstract interpretations by combining domains
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation · 1993
112
cited
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing
ICLP/SLP · 1988
107
cited
A polynomial time computable metric between point sets
Acta Informatica · 2001
104
cited
Mining data from intensive care patients
Advanced Engineering Informatics · 2007
102
cited
The memory management of PROLOG implementations
1980
96
cited
Solving Combinatorial Search Problems by Intelligent Backtracking
Information Processing Letters · 1981
94
cited
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems · 1996
93
cited
Temporal Reasoning with Abductive Event Calculus
European Conference on Artificial Intelligence · 1992
93
cited
Under Consideration for Publication in Theory and Practice of Logic Programming the Magic of Logical Inference in Probabilistic Programming
89
cited
Under Consideration for Publication in Theory and Practice of Logic Programming Logic Program Specialisation through Partial Deduction: Control Issues
88
cited
Hierarchical multi-classification
Knowledge Discovery and Data Mining · 2002
87
cited
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems · 2004
84
cited
Sotabase