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
31 - 40 of 108
- Implementing a relevance tracker module(2016)
Authors: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pages: 77 - 91 - On well-founded set-inductions and locally monotone operators(2016)
Authors: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pages: 27 - Relevance for SAT(ID)(2016)
Authors: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pages: 596 - 603 - Bootstrapping inference in the IDP Knowledge Base System(2016)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 193 - 220 - Distributed autoepistemic logic and its application to access control(2016)
Authors: Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Pages: 1286 - 1292 - Improved static symmetry breaking for SAT(2016)
Authors: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pages: 104 - 122 - The KB paradigm and its application to interactive configuration(2016)
Authors: Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
Pages: 13 - 29 - Resilient delegation revocation with precedence for predecessors is NP-complete(2016)
Authors: Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pages: 432 - 442 - First order logic with inductive definitions for model-based problem solving(2016)
Authors: Maurice Bruynooghe, Marc Denecker
Pages: 69 - 80 - Consistent integration of decision (DMN) and process (BPMN) models(2016)
Authors: Laurent Janssens, Johannes De Smedt, Jan Vanthienen, Marc Denecker
Pages: 121 - 128