A practical framework for theabstract interpretation of logic programs M Bruynooghe The Journal of Logic Programming 10 (2), 91-124, 1991 | 381 | 1991 |

Logic programs with annotated disjunctions J Vennekens, S Verbaeten, M Bruynooghe International Conference on Logic Programming, 431-445, 2004 | 256 | 2004 |

Counting integer points in parametric polytopes using Barvinok's rational functions S Verdoolaege, R Seghir, K Beyls, V Loechner, M Bruynooghe Algorithmica 48 (1), 37-66, 2007 | 226 | 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 | 213 | 1992 |

A theory of clausal discovery L De Raedt, M Bruynooghe Proceedings of the 13th international joint conference on artificial …, 1993 | 210 | 1993 |

Deduction revision by intelligent backtracking M Bruynooghe, LM Pereira Ellis Horwood, Chichester, England, 1984 | 185 | 1984 |

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 | 168 | 2007 |

Abstract interpretation: towards the global optimisation of Prolog programs M Bruynooghe, G Janssens, A Callebaut, B Demoen CW Reports, 25-25, 1987 | 159 | 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 | 150 | 1995 |

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 | 148 | 2009 |

An instance of abstract interpretation integrating type and mode inferencing M Bruynooghe, G Janssens Logic Programming: Proc. of the Fifth International Conference and Symposium …, 1988 | 146 | 1988 |

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 | 142 | 2009 |

Solving combinatorial search problems by intelligent backtracking M Bruynooghe Information processing letters 12 (1), 36-39, 1981 | 130 | 1981 |

The memory management of Prolog implementations M Bruynooghe CW Reports, 9-9, 1980 | 128 | 1980 |

Hierarchical multi-classification H Blockeel, M Bruynooghe, S Džeroski, J Ramon, J Struyf Workshop Notes of the KDD'02 Workshop on Multi-Relational Data Mining, 21-35, 2002 | 127 | 2002 |

A general criterion for avoiding infinite unfolding during partial deduction M Bruynooghe, D De Schreye, B Martens New Generation Computing 11 (1), 47-79, 1992 | 124* | 1992 |

The derivation of an algorithm for program specialisation J Gallagher, M Bruynooghe New Generation Computing 9 (3), 305-333, 1991 | 123 | 1991 |

A polynomial time computable metric between point sets J Ramon, M Bruynooghe Acta Informatica 37 (10), 765-780, 2001 | 118 | 2001 |

Mining data from intensive care patients J Ramon, D Fierens, F Güiza, G Meyfroidt, H Blockeel, M Bruynooghe, ... Advanced Engineering Informatics 21 (3), 243-256, 2007 | 114 | 2007 |

Logic program specialisation through partial deduction: Control issues M Leuschel, M Bruynooghe Theory and Practice of Logic Programming 2 (4-5), 461-515, 2002 | 110 | 2002 |