< Back to previous page
Researcher
Marc Denecker
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Oct 1999 → 4 Aug 2020
Projects
1 - 10 of 29
- A Category-Theoretic Perspective on Approximation Fixpoint TheoryFrom16 Jan 2024 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Proof systems for first-order logic extended with inductive definitionsFrom26 Sep 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Approximation Fixpoint Theory as a General Algebraic Theory of Constructive KnowledgeFrom1 Jan 2021 → TodayFunding: FWO research project (including WEAVE projects)
- IMPULS-AI-2021From1 Jan 2021 → 31 Dec 2023Funding: Department General Affairs and Finance
- AI in Industry: Learning and Reasoning for AutomationFrom1 Jan 2021 → TodayFunding: IOF - mandates
- Knowledge Representation with partial functions and intensional concepts: theory and applicationsFrom10 Dec 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- FO(.) extended with constructive definitions using Approximation Fixpoint TheoryFrom1 Oct 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Theory, algorithms and tools for generic solutions to knowledge-intensive business problems from formal specificationsFrom1 Oct 2019 → 30 Sep 2023Funding: BOF - projects
- Standard, Interactive and Lifted Model Expansions Using FO(.)From6 Dec 2018 → 12 Feb 2024Funding: Own budget, for example: patrimony, inscription fees, gifts
- Decision Analytics: complex decision processesFrom1 Oct 2017 → 30 Sep 2019Funding: IWT / VLAIO - TETRA fund
Publications
11 - 20 of 108
- Towards a Higher Level of Abstraction for Knowledge Representation Languages(2020)
Authors: Matthias van der Hallen, Gerda Janssens, Marc Denecker
- Formal, Exact and Metaheuristic Methods for Combinatorial Optimization(2020)
Authors: San Pham, Patrick De Causmaecker, Marc Denecker
- Improving Parity Game Solvers with Justifications(2020)
Authors: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pages: 449 - 470Number of pages: 22 - Knowledge Representation Analysis of Graph Mining(2019)
Authors: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Pages: 21 - 60 - Higher Order Modelling for First Order Solvers(2019)
Authors: Ingmar Dasseville, Marc Denecker, Gerda Janssens
- Explaining actual causation in terms of possible causal processes(2019)
Authors: Marc Denecker, Bart Bogaerts, Joost Vennekens
Pages: 214 - 230 - Modelling Relational Data Mining(2018)
Authors: Sergey Paramonov, Luc De Raedt, Marc Denecker
- Causal reasoning in a logic with possible causal process semantics(2018)
Authors: Marc Denecker, Bart Bogaerts, Joost Vennekens
Pages: 90 - 98 - Consistency in Justification Theory(2018)
Authors: Simon Marynissen, Bart Bogaerts, Marc Denecker
Pages: 41 - 52 - Consistency in Justification Theory(2018)
Authors: Simon Marynissen, Bart Bogaerts, Marc Denecker
Pages: 173 - 188Number of pages: 16