< 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
81 - 90 of 108
- Regularity requirements in university course timetabling(2011)
Authors: Broes De Cat, Gerda Janssens, Marc Denecker
Pages: 31 - 45 - A prototype of a knowledge-based programming environment(2011)
Authors: Stef De Pooter, Johan Wittocx, Marc Denecker
Pages: 6 - Answer Set Programming's contributions to classical logic(2011)
Authors: Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Pages: 12 - Reiter's default logic is a logic of autoepistemic reasoning and a good one, too(2011)
Authors: Marc Denecker
Pages: 111 - 144 - An approximative inference method for solving ∃∀SO satisfiability problems(2010)
Authors: Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 326 - 338 - Towards a logical reconstruction of a theory for locally closed databases(2010)
Authors: Marc Denecker, Maurice Bruynooghe
Pages: 1 - 60 - FO(FD): Extending classical logic with rule-based fixpoint definitions(2010)
Authors: Ping Hou, Broes De Cat, Marc Denecker
Pages: 581 - 596 - Finite Domain and Symbolic Inference Methods for Extensions of First-Order Logic (Eindig domein en symbolische inferetiemethodes voor uitbreidingen van eerste-orde logica)(2010)
Authors: Johan Wittocx, Marc Denecker
Number of pages: 242 - FO(ID) as an extension of DL with rules(2010)
Authors: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 85 - 115 - Embracing events in causal modelling: Interventions and counterfactuals in CP-logic(2010)
Authors: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pages: 313 - 325