Follow
Maurice Bruynooghe
Maurice Bruynooghe
Professor Em. of Computer Science, KULeuven
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
A practical framework for theabstract interpretation of logic programs
M Bruynooghe
The Journal of Logic Programming 10 (2), 91-124, 1991
3971991
Logic programs with annotated disjunctions
J Vennekens, S Verbaeten, M Bruynooghe
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo …, 2004
2912004
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
2322007
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
2231992
A theory of clausal discovery
L De Raedt, M Bruynooghe
IJCAI 10581063, 1994, 1993
2041993
Deduction Revision by Intelligent Backtracking.
M Bruynooghe, LM Pereira
Implementations of PROLOG, 194-215, 1984
1851984
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
1822007
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
1742009
Abstract interpretation: towards the global optimisation of Prolog programs
M Bruynooghe
Proceedings of the 4th International Symposium on Logic Programming, 192-204, 1987
1691987
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
1672009
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
1591995
An instance of abstract interpretation integrating type and mode inferencing
M Bruynooghe
Proceedings of the 5th International Conference and Symposium on Logic …, 1988
1521988
Solving combinatorial search problems by intelligent backtracking
M Bruynooghe
Information processing letters 12 (1), 36-39, 1981
1411981
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
1402002
The memory management of Prolog implementations
M Bruynooghe
CW Reports, 9-9, 1980
1321980
The derivation of an algorithm for program specialisation
J Gallagher, M Bruynooghe
New Generation Computing 9, 305-333, 1991
1261991
Temporal Reasoning with Abductive Event Calculus.
M Denecker, L Missiaen, M Bruynooghe
ECAI, 384-388, 1992
1201992
Interactive concept-learning and constructive induction by analogy
L De Raedt, M Bruynooghe
Machine Learning 8, 107-150, 1992
1201992
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
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
1162007
The system can't perform the operation now. Try again later.
Articles 1–20