About
Marc Denecker is a Professor at the Department of Computer Science, KU Leuven, affiliated with the Faculty of Engineering Science and the Declarative Languages and Artificial Intelligence (DTAI) research group. He contributes to KU Leuven's Institute for Artificial Intelligence (Leuven.AI).
- Current promotor for projects like A Category-Theoretic Perspective on Approximation Fixpoint Theory (2024-2028) and Proof systems for first-order logic extended with inductive definitions (2023-2027).
- Co-promotor for AI in Industry: Learning and Reasoning for Automation (2021-2025) and IMPULS-AI-2021 (2021-2024).
His research focuses on formal logic, knowledge representation, and artificial intelligence. Recent work includes epistemic logic for decision-making under uncertainty, approximation fixpoint theory, justification theory, and symmetry-based satisfiability optimization. Publications span venues like AAAI, SAC, and LPNMR conferences, as well as journals such as Artificial Intelligence.
Key subfields include logic programming, inductive definitions, model expansion, and constructive knowledge formalization. His teaching involves courses on complex systems (G0B23A/H0N05A), knowledge representation (H02C3A), automata (G0P84A), and logic for computer science (G0T42D).
