World's Best Scientists 2026 revealed!
Maurice Bruynooghe

Maurice Bruynooghe

D-Index & Metrics

Computer Science

D-Index
49
Citations
8058
World Ranking
5960
National Ranking
64

Overview

Maurice Bruynooghe is affiliated with KU Leuven in Belgium and specializes in the field of Computer Science, with a primary focus on Artificial Intelligence. Their research spans multiple subfields including Computational Theory and Mathematics, Software, Automotive Engineering, and Hardware and Architecture.

The key topics of Maurice Bruynooghe's research involve Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Formal Methods in Verification; Multi-Agent Systems and Negotiation; Software Testing and Debugging Techniques; Model-Driven Software Engineering Techniques; and Semantic Web and Ontologies.

They have published several recent papers across diverse venues, including:

  • "Using Symmetries to Lift Satisfiability Checking," 2024, Proceedings of the AAAI Conference on Artificial Intelligence
  • "Using Symmetries to Lift Satisfiability Checking," 2023, arXiv (Cornell University)
  • "Justifications and a Reconstruction of Parity Game Solving Algorithms," 2023, Lecture notes in computer science
  • "Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory," 2022, Theory and Practice of Logic Programming
  • "An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs," 2020, Lirias (KU Leuven)

Their scholarly contributions are published mainly in venues such as arXiv (Cornell University), Theory and Practice of Logic Programming, Proceedings of the AAAI Conference on Artificial Intelligence, Lirias (KU Leuven), and Lecture notes in computer science.

Maurice Bruynooghe frequently collaborates with several researchers including Marc Denecker, Linde Vanbesien, Ruben Lapauw, Pierre Carbonnelle, and Gottfried Schenner, with the highest number of coauthored works being with Marc Denecker.

Best Publications

  • A practical framework for the abstract interpretation of logic programs

    Maurice Bruynooghe

  • Logic programs with annotated disjunctions

    Joost Vennekens;Sofie Verbaeten;Maurice Bruynooghe

  • Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions

    Sven Verdoolaege;Rachid Seghir;Kristof Beyls;Vincent Loechner

  • Deriving descriptions of possible values of program variables by means of abstract interpretation

    G. Janssens;M. Bruynooghe

  • A theory of clausal discovery

    Luc De Raedt;Maurice Bruynooghe

  • Deduction revision by intelligent backtracking

    Maurice Bruynooghe;Luís Moniz Pereira

  • Well-founded and stable semantics of logic programs with aggregates

    Nikolay Pelov;Marc Denecker;Maurice Bruynooghe

  • Machine learning techniques to examine large patient databases.

    Geert Meyfroidt;Fabian Güiza;Jan Ramon;Maurice Bruynooghe

  • Abstract interpretation: towards the global optimisation of PROLOG programs

    Maurice Bruynooghe;Gerda Janssens;Allain Callebaut;Bart Demoen

  • Improving abstract interpretations by combining domains

    Michael Codish;Anne Mulkers;Maurice Bruynooghe;Maria García de la Banda

  • Cp-logic: A language of causal probabilistic events and its relation to logic programming

    Joost Vennekens;Marc Denecker;Maurice Bruynooghe

  • An instance of abstract interpretation integrating type and mode inferencing

    Maurice Bruynooghe;Gerda Janssens

  • The memory management of PROLOG implementations

    Maurice Bruynooghe

  • Hierarchical multi-classification

    Hendrik Blockeel;Maurice Bruynooghe;Sašo Džeroski;Jan Ramon

  • Solving combinatorial search problems by intelligent backtracking

    Maurice Bruynooghe

  • A polynomial time computable metric between point sets

    Jan Ramon;Maurice Bruynooghe

  • Mining data from intensive care patients

    Jan Ramon;Daan Fierens;Fabián Güiza;Geert Meyfroidt

  • Temporal reasoning with abductive event calculus

    Marc Denecker;Lode Missiaen;Maurice Bruynooghe

  • The derivation of an algorithm for program specialisation

    John Gallagher;Maurice Bruynooghe

  • Logic program specialisation through partial deduction: Control issues

    Michael Leuschel;Maurice Bruynooghe

Frequent Co-Authors

Marc Denecker
Marc Denecker KU Leuven
Luc De Raedt
Luc De Raedt KU Leuven
Jan Ramon
Jan Ramon French Institute for Research in Computer Science and Automation - INRIA
Michael Codish
Michael Codish Ben-Gurion University of the Negev
Manuel V. Hermenegildo
Manuel V. Hermenegildo Madrid Institute for Advanced Studies
Jan Van den Bussche
Jan Van den Bussche Hasselt University
Michael Leuschel
Michael Leuschel Heinrich Heine University Düsseldorf

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up many dynamic pathways. Online education now makes it easier than ever to enhance your skills or pivot into specialized tech careers. For those interested in data-driven roles, consider an online data science masters. These programs provide in-depth knowledge in analytics, AI, and machine learning—fields highly sought after by employers.

Not all computer science graduates follow the same route. If you’re interested in combining tech with management, an most affordable online mba can help you build valuable leadership and business skills. Alternatively, tech-savvy individuals interested in the built environment might pursue an online construction management degree, which blends technical knowledge with project management essentials.

Time is also a factor for many professionals. Some are now opting for 1 year master programs to quickly acquire advanced credentials. Whether you’re seeking a new specialty or aiming to advance your career, online degrees offer flexibility, affordability, and a broad range of interdisciplinary possibilities.

Best Scientists Citing Maurice Bruynooghe

Trending Scientists

Recently Published Articles