Marc Denecker

KU Leuven, Centre de Recherche en Informatique

Papers

Total Citations

H-Index

About

Marc Denecker is a leading figure in artificial intelligence, whose work bridges logic, knowledge representation, and automated reasoning. His primary research areas include abductive reasoning, planning, and the event calculus, with a particular focus on how computational logic can model complex, real-world phenomena. Denecker's most notable contribution is the development of CHICA, an abductive planning system that uses Horn clause logic to implement the event calculus. This system, detailed in his 1995 paper (32 citations), demonstrated how non-linear, domain-independent planners could reason about actions and change through logical abduction, laying foundational groundwork for modern AI planning. Beyond this, Denecker has advanced the theory of inductive definitions and founded the field of "knowledge base systems," influencing how AI systems represent and reason with incomplete information. His more recent work on intention mining (2021, 4 citations) shows his continued relevance, applying logical frameworks to understand human goals. A professor at KU Leuven, Denecker's contributions have shaped both the theoretical underpinnings and practical implementations of logic-based AI, making him a key reference for students and researchers in knowledge representation and automated reasoning.