World's Best Scientists 2026 revealed!
Marc Denecker

Marc Denecker

D-Index & Metrics

Computer Science

D-Index
40
Citations
5537
World Ranking
9413
National Ranking
90

Overview

Marc Denecker is affiliated with KU Leuven in Belgium and conducts research primarily in the field of Computer Science. Their work spans several subfields, including Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Management Information Systems, and Computer Networks and Communications.

The scientist's research topics focus on areas such as Logic, Reasoning, and Knowledge; Semantic Web and Ontologies; Logic, Programming, and Type Systems; Business Process Modeling and Analysis; Advanced Algebra and Logic; Green IT and Sustainability; and Innovative Approaches in Technology and Social Development.

Marc Denecker has contributed to multiple research articles published in diverse venues. Recent papers include:

  • A Proposal of a Situational Approach for Enterprise Architecture Frameworks: Application to TOGAF, 2022, Procedia Computer Science
  • Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory, 2022, Theory and Practice of Logic Programming
  • On Nested Justification Systems, 2022, Theory and Practice of Logic Programming
  • Interactive configurator with FO(.) and IDP-Z3, 2022, Lirias (KU Leuven)
  • T-AGILE: A Guide to Teleworking in Agile Project Management, 2023, Procedia Computer Science

Marc Denecker frequently publishes in the following venues:

  • arXiv (Cornell University)
  • Procedia Computer Science
  • Theory and Practice of Logic Programming
  • Electronic Proceedings in Theoretical Computer Science
  • Proceedings of the AAAI Conference on Artificial Intelligence

The scientist has collaborated extensively with co-authors such as Bart Bogaerts, Elena Kornyshova, Maurice Bruynooghe, Pierre Carbonnelle, and Linde Vanbesien, reflecting a pattern of recurring professional partnerships.

Marc Denecker has also authored a book published by the Centre National de la Recherche Scientifique, titled Taxonomy and Evolution of the Scientific Domain of Smart Life, released in 2024.

Best Publications

  • Abduction in Logic Programming

    Marc Denecker;Antonis C. Kakas

  • Representing incomplete knowledge in abductive logic programming

    Marc Denecker;Danny de Schreye

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

    Nikolay Pelov;Marc Denecker;Maurice Bruynooghe

  • A logic of nonmonotone inductive definitions

    Marc Denecker;Eugenia Ternovska

  • Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning

    Marc Denecker;Victor Marek;Miroslaw Truszczyński

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

    Joost Vennekens;Marc Denecker;Maurice Bruynooghe

  • The Second Answer Set Programming Competition

    Marc Denecker;Joost Vennekens;Stephen Bond;Martin Gebser

  • Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016

    Joachim Jansen;Bart Bogaerts;Jo Devriendt;Gerda Janssens

  • SLDNFA: An abductive procedure for abductive logic programs

    Marc Denecker;Danny de Schreye

  • Extending Classical Logic with Inductive Definitions

    Marc Denecker

  • SLDNFA: an abductive procedure for normal abductive programs

    Marc Denecker;Danny De Schreye

  • Uniform semantic treatment of default and autoepistemic logics

    Marc Denecker;Victor W. Marek;Mirosław Truszczyński

  • Temporal reasoning with abductive event calculus

    Marc Denecker;Lode Missiaen;Maurice Bruynooghe

  • A-system: problem solving through abduction

    Antonis C. Kakas;Bert Van Nuffelen;Marc Denecker

  • Inductive situation calculus

    Marc Denecker;Eugenia Ternovska

  • Ultimate approximation and its application in nonmonotonic knowledge representation systems

    Marc Denecker;Victor W. Marek;Mirosław Truszczyński

  • Logic programming revisited: logic programs as inductive definitions

    Maurice Bruynooghe;Victor Marek;Marc Denecker

  • The IDP system: A model expansion system for an extension of classical logic

    Johan Wittocx;Maarten Mariën;Marc Denecker

  • Predicate Logic as a Modelling Language: The IDP System

    Broes De Cat;Bart Bogaerts;Maurice Bruynooghe;Gerda Janssens

  • Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates

    Marc Denecker;Nikolay Pelov;Maurice Bruynooghe

  • The Well-Founded Semantics Is the Principle of Inductive Definition

    Marc Denecker

Frequent Co-Authors

Miroslaw Truszczynski
Miroslaw Truszczynski University of Kentucky
Jan Van den Bussche
Jan Van den Bussche Hasselt University
Luc De Raedt
Luc De Raedt KU Leuven
Jan Ramon
Jan Ramon French Institute for Research in Computer Science and Automation - INRIA
Peter J. Stuckey
Peter J. Stuckey Monash University
Antonis C. Kakas
Antonis C. Kakas University of Cyprus
Kathleen Marchal
Kathleen Marchal Ghent University

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 online education options can be a smart way to expand your career prospects in Computer Science and related fields. Many students now consider options beyond traditional campus-based degrees, with a growing number of reputable, flexible programs available across the USA.

For those interested in foundational sciences, a best online physics degree can provide critical knowledge for tech and engineering roles. Data science has also emerged as a top choice, with data science degrees offering in-demand skills in analytics, machine learning, and big data.

Advancing your technical expertise further may lead you to an online master's in electrical engineering degree. This pathway can open doors to cutting-edge industries such as robotics, AI, and telecommunications.

If you’re seeking faster entry into tech careers, consider 3-month certificate programs that pay well. These certifications can boost your credentials quickly and are ideal for those wanting specialized roles or career pivots.

Best Scientists Citing Marc Denecker

Trending Scientists