Maurice Bruynooghe
Maurice Bruynooghe
Professor Em. of Computer Science, KULeuven
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
Elements of large-sample theory
EL Lehmann
Springer Science & Business Media, 2004
14772004
A practical framework for theabstract interpretation of logic programs
M Bruynooghe
The Journal of Logic Programming 10 (2), 91-124, 1991
3601991
Logic programs with annotated disjunctions
J Vennekens, S Verbaeten, M Bruynooghe
International Conference on Logic Programming, 431-445, 2004
2202004
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
2061992
A theory of clausal discovery
L De Raedt, M Bruynooghe
Proceedings of the 13th international joint conference on artificial …, 1993
1981993
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
1932007
Deduction revision by intelligent backtracking
M Bruynooghe, LM Pereira
Ellis Horwood, Chichester, England, 1984
1751984
Abstract interpretation: towards the global optimisation of Prolog programs
M Bruynooghe, G Janssens, A Callebaut, B Demoen
CW Reports, 25-25, 1987
1551987
Well-founded and stable semantics of logic programs with aggregates
N Pelov, M Denecker, M Bruynooghe
arXiv preprint cs/0509024, 2005
1532005
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
1371988
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
1361995
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
1302009
The memory management of Prolog implementations
M Bruynooghe
CW Reports, 9-9, 1980
1271980
Solving combinatorial search problems by intelligent backtracking
M Bruynooghe
Information processing letters 12 (1), 36-39, 1981
1211981
CP-logic: A language of causal probabilistic events and its relation to logic programming
J Vennekens, M Denecker, M Bruynooghe
arXiv preprint arXiv:0904.1672, 2009
1192009
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
1192002
The derivation of an algorithm for program specialisation
J Gallagher, M Bruynooghe
New Generation Computing 9 (3-4), 305, 1991
1171991
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
115*1992
A polynomial time computable metric between point sets
J Ramon, M Bruynooghe
Acta Informatica 37 (10), 765-780, 2001
1132001
Temporal reasoning with abductive event calculus
M Denecker, L Missiaen, M Bruynooghe
Proceedings of the 10th European Conference on Artificial Intelligence …, 1992
1111992
The system can't perform the operation now. Try again later.
Articles 1–20