< Terug naar vorige pagina
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
81 - 90 van 108
- Regularity requirements in university course timetabling(2011)
Auteurs: Broes De Cat, Gerda Janssens, Marc Denecker
Pagina's: 31 - 45 - A prototype of a knowledge-based programming environment(2011)
Auteurs: Stef De Pooter, Johan Wittocx, Marc Denecker
Pagina's: 6 - Answer Set Programming's contributions to classical logic(2011)
Auteurs: Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe
Pagina's: 12 - Reiter's default logic is a logic of autoepistemic reasoning and a good one, too(2011)
Auteurs: Marc Denecker
Pagina's: 111 - 144 - An approximative inference method for solving ∃∀SO satisfiability problems(2010)
Auteurs: Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pagina's: 326 - 338 - Towards a logical reconstruction of a theory for locally closed databases(2010)
Auteurs: Marc Denecker, Maurice Bruynooghe
Pagina's: 1 - 60 - FO(FD): Extending classical logic with rule-based fixpoint definitions(2010)
Auteurs: Ping Hou, Broes De Cat, Marc Denecker
Pagina's: 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)
Auteurs: Johan Wittocx, Marc Denecker
Aantal pagina's: 242 - FO(ID) as an extension of DL with rules(2010)
Auteurs: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pagina's: 85 - 115 - Embracing events in causal modelling: Interventions and counterfactuals in CP-logic(2010)
Auteurs: Joost Vennekens, Marc Denecker, Maurice Bruynooghe
Pagina's: 313 - 325