Sotabase

Career

· Professor, K.U.Leuven1992–
· Senior Research Associate, K.U.Leuven1990–
· PhD in Mathematics, KU Leuven1974–1983
· Study Advisor, K.U.Leuven

Publications (404)

Termination of Logic Programs: The Never-Ending Story
The Journal of Logic Programming · 1994
261
cited
SLDNFA: An Abductive Procedure for Abductive Logic Programs
The Journal of Logic Programming · 1998
122
cited
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments
The Journal of Logic Programming · 1999
118
cited
Controlling generalization and polyvariance in partial deduction of normal logic programs
TOPL · 1998
113
cited
SLDNFA: An Abductive Procedure for Normal Abductive Programs
Joint International Conference and Symposium on Logic Programming · 1992
104
cited
Representing Incomplete Knowledge in Abductive Logic Programming
Journal of Logic and Computation · 1993
100
cited
Compiling Control
The Journal of Logic Programming · 1989
77
cited
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration
Joint International Conference and Symposium on Logic Programming · 1996
75
cited
Constraint-based termination analysis of logic programs
TOPL · 1999
65
cited
Deriving Termination Proofs for Logic Programs, Using Abstract Procedures
International Conference on Logic Programming · 1991
65
cited
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns
Fifth Generation Computer Systems · 1992
61
cited
Towards creating specialised integrity checks through partial evaluation of meta-interpreters
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation · 1995
57
cited
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis
ILPS · 1993
56
cited
Automatic Finite Unfolding Using Well-Founded Measures
The Journal of Logic Programming · 1996
52
cited
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
International Conference on Logic Programming · 2005
47
cited
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures
Theoretical Computer Science · 1992
47
cited
Logic Program Specialisation: How To Be More Specific
Symposium on Programming Language Implementation and Logic Programming · 1996
46
cited
On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality
Theoretical Computer Science · 1994
43
cited
Logic Based Program Synthesis and Transformation
2004
39
cited
A Strong Correspondence between Description Logics and Open Logic Programming
International Conference on Logic Programming · 1997
36
cited
Sotabase