< 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
21 - 29 of 29
- Modelling Relational Data MiningFrom1 Apr 2013 → 29 Oct 2018Funding: Own budget, for example: patrimony, inscription fees, gifts
- Integrating search and optimisation technology for formal modelling languages.From1 Jan 2013 → 31 Dec 2016Funding: FWO research project
- Declarative modeling for machine learning and data mining.From1 Jan 2013 → 31 Dec 2017Funding: BOF - Concerted Research Project from 1994
- Advanced Techniques for Grounding and Solving in the IDP Knowledge Base SystemFrom4 Sep 2012 → 12 Dec 2016Funding: Own budget, for example: patrimony, inscription fees, gifts
- New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent PerspectiveFrom1 Sep 2012 → 26 Oct 2016Funding: Own budget, for example: patrimony, inscription fees, gifts
- Exploiting Symmetry in Model Expansion for Predicate and Propositional LogicFrom2 Jul 2012 → 22 Feb 2017Funding: Own budget, for example: patrimony, inscription fees, gifts
- Specification logics and Inference tools for verification and Enforcement of Policies (SIEP).From1 Jan 2012 → 31 Dec 2017Funding: FWO research project
- Theory and implementation of knowledge base systems for FO(.)From1 Jan 2010 → 31 Dec 2013Funding: FWO research project
- Probabilistic Logic Learning.From1 Jan 2008 → 31 Dec 2014Funding: BOF - Concerted Research Project from 1994
Publications
1 - 10 of 108
- Standard, Interactive and Lifted Model Expansions Using FO(.)(2024)
Authors: Pierre Carbonnelle, Marc Denecker, Gerda Janssens
- Towards Systematic Treatment of Partial Functions in Knowledge Representation(2023)
Authors: Dorde Markovic, Maurice Bruynooghe, Marc Denecker
Pages: 756 - 770 - Justifications and a Reconstruction of Parity Game Solving Algorithms(2023)
Authors: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pages: 170 - 187 - On the semantics of "null" in DMN: Undefined is not unknown(2022)
Authors: Dorde Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
- On Nested Justification Systems(2022)
Authors: Marc Denecker
Pages: 641 - 657 - On the Relation Between Approximation Fixpoint Theory and Justification Theory(2022)
Authors: Simon Marynissen, Marc Denecker
Pages: 1973 - 1980Number of pages: 8 - Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory(2022)
Authors: Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Pages: 523 - 537 - Advances in Justification Theory(2022)
Authors: Simon Marynissen, Marc Denecker
- Reconstructing and Improving Parity Game Solvers with Justifications(2021)
Authors: Ruben Lapauw, Marc Denecker, Gerda Janssens
- Exploiting Game Theory for Analysing Justifications(2020)
Authors: Simon Marynissen, Marc Denecker
Pages: 880 - 894