Onderzoeker
Marc Denecker
- Disciplines:Artificiële intelligentie
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 1999 → 4 aug 2020
Projecten
1 - 10 of 29
- Een category-theoretisch perspectief op Approximation Fixpoint TheoryVanaf16 jan 2024 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Bewijssystemen voor eerste-orde logica uitgebreid met inductieve definitiesVanaf26 sep 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Approximatie Vastepuntstheorie als een Algemene Algebraische Theorie van Constructieve KennisVanaf1 jan 2021 → HedenFinanciering: FWO Onderzoeksproject (incl. WEAVE projecten)
- IMPULS-AI-2021Vanaf1 jan 2021 → 31 dec 2023Financiering: Departement Algemene Zaken en Financiën
- AI in Industrie: Leren en Redeneren voor AutomatisatieVanaf1 jan 2021 → HedenFinanciering: IOF - mandaten
- Kennisrepresentatie met partiële functies en intensie concepten: theorie en toepassingenVanaf10 dec 2020 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- FO(.) uitgebreid met constructieve definities aan de hand van Approximation Fixpoint TheoryVanaf1 okt 2020 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Theorie, algoritmes en tools voor generieke oplossingen van kennisintensieve bedrijfstoepassingen op basis van formele specificatiesVanaf1 okt 2019 → 30 sep 2023Financiering: BOF - projecten
- Standard, Interactieve en Lifted Model Expansions met FO(.)Vanaf6 dec 2018 → 12 feb 2024Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Decision Analytics: complexe beslissingsprocessenVanaf1 okt 2017 → 30 sep 2019Financiering: IWT / VLAIO - TETRA-fonds
Publicaties
31 - 40 van 108
- Implementing a relevance tracker module(2016)
Auteurs: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pagina's: 77 - 91 - On well-founded set-inductions and locally monotone operators(2016)
Auteurs: Bart Bogaerts, Joost Vennekens, Marc Denecker
Pagina's: 27 - Bootstrapping inference in the IDP Knowledge Base System(2016)
Auteurs: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pagina's: 193 - 220 - Relevance for SAT(ID)(2016)
Auteurs: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pagina's: 596 - 603 - Distributed autoepistemic logic and its application to access control(2016)
Auteurs: Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Pagina's: 1286 - 1292 - Improved static symmetry breaking for SAT(2016)
Auteurs: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pagina's: 104 - 122 - The KB paradigm and its application to interactive configuration(2016)
Auteurs: Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
Pagina's: 13 - 29 - Resilient delegation revocation with precedence for predecessors is NP-complete(2016)
Auteurs: Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 432 - 442 - First order logic with inductive definitions for model-based problem solving(2016)
Auteurs: Maurice Bruynooghe, Marc Denecker
Pagina's: 69 - 80 - Consistent integration of decision (DMN) and process (BPMN) models(2016)
Auteurs: Laurent Janssens, Johannes De Smedt, Jan Vanthienen, Marc Denecker
Pagina's: 121 - 128