| A practical framework for theabstract interpretation of logic programs M Bruynooghe The Journal of Logic Programming 10 (2), 91-124, 1991 | 397 | 1991 |
| Logic programs with annotated disjunctions J Vennekens, S Verbaeten, M Bruynooghe Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo …, 2004 | 299 | 2004 |
| Counting integer points in parametric polytopes using Barvinok's rational functions S Verdoolaege, R Seghir, K Beyls, V Loechner, M Bruynooghe Algorithmica 48, 37-66, 2007 | 239 | 2007 |
| Deriving descriptions of possible values of program variables by means of abstract interpretation G Janssens, M Bruynooghe The Journal of Logic Programming 13 (2-3), 205-258, 1992 | 223 | 1992 |
| A theory of clausal discovery L De Raedt, M Bruynooghe IJCAI 10581063, 1994, 1993 | 205 | 1993 |
| Well-founded and stable semantics of logic programs with aggregates N Pelov, M Denecker, M Bruynooghe Theory and Practice of Logic Programming 7 (3), 301-353, 2007 | 185 | 2007 |
| Deduction Revision by Intelligent Backtracking. M Bruynooghe, LM Pereira Implementations of PROLOG, 194-215, 1984 | 185 | 1984 |
| Machine learning techniques to examine large patient databases G Meyfroidt, F Güiza, J Ramon, M Bruynooghe Best Practice & Research Clinical Anaesthesiology 23 (1), 127-143, 2009 | 177 | 2009 |
| CP-logic: A language of causal probabilistic events and its relation to logic programming J Vennekens, M Denecker, M Bruynooghe Theory and practice of logic programming 9 (3), 245-308, 2009 | 170 | 2009 |
| 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 |
| Improving abstract interpretations by combining domains M Codish, A Mulkers, M Bruynooghe, MG De La Banda, M Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 28-44, 1995 | 160 | 1995 |
| An instance of abstract interpretation integrating type and mode inferencing M Bruynooghe Proceedings of the 5th International Conference and Symposium on Logic …, 1988 | 152 | 1988 |
| Hierarchical multi-classification H Blockeel, M Bruynooghe, S Dzeroski, J Ramon, J Struyf Proceedings of the ACM SIGKDD 2002 workshop on multi-relational data mining …, 2002 | 141 | 2002 |
| Solving combinatorial search problems by intelligent backtracking M Bruynooghe Information processing letters 12 (1), 36-39, 1981 | 141 | 1981 |
| The memory management of Prolog implementations M Bruynooghe CW Reports, 9-9, 1980 | 133 | 1980 |
| The derivation of an algorithm for program specialisation J Gallagher, M Bruynooghe New Generation Computing 9, 305-333, 1991 | 126 | 1991 |
| Temporal Reasoning with Abductive Event Calculus. M Denecker, L Missiaen, M Bruynooghe ECAI, 384-388, 1992 | 120 | 1992 |
| Interactive concept-learning and constructive induction by analogy L De Raedt, M Bruynooghe Machine Learning 8, 107-150, 1992 | 120 | 1992 |
| A general criterion for avoiding infinite unfolding during partial deduction M Bruynooghe, D De Schreye, B Martens New Generation Computing 11, 47-79, 1992 | 118* | 1992 |
| Predicate logic as a modeling language: the IDP system B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker Declarative Logic Programming: Theory, Systems, and Applications, 279-323, 2018 | 117 | 2018 |
