< 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
11 - 20 of 29
- Vorderingen in de justificatietheorieVanaf1 sep 2017 → 31 jan 2022Financiering: BOF - doctorale mandaten
- Toepassing van het Kennisbank Paradigma op het School Timetabling ProblemVanaf1 okt 2016 → 30 nov 2019Financiering: BOF - doctorale mandaten, BOF - Nieuwe Onderzoeksinitiatieven
- Toepassing van het kennisbank paradigma op het school timetabling probleemVanaf1 okt 2016 → 30 sep 2018Financiering: Fonds Recuperatie Fiscale Vrijstelling
- Op kennis gebaseerde software-engineering: IDP4.Vanaf1 okt 2016 → 30 sep 2018Financiering: IOF - Industrieel Onderzoeksfonds
- Integratie in Kennisrepresentatie en RedenerenVanaf1 okt 2016 → 30 sep 2019Financiering: FWO mandaten
- Satisfieerbaarheid en modelgeneratie in een oneindige ruimteVanaf17 feb 2016 → 1 jun 2017Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Updates en Provenance in Data- en KennisbankenVanaf1 jan 2016 → 31 dec 2019Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Vervulbaarheid en modelgeneratie in oneindige ruimtesVanaf1 jan 2016 → 31 dec 2019Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Van bedrijfsregels naar logicaVanaf2 sep 2014 → 3 mei 2021Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
- Hogere-orde-modelleertalen voor eerste-orde-oplossingssystemenVanaf3 sep 2013 → 3 jun 2019Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 10 van 108
- Standard, Interactive and Lifted Model Expansions Using FO(.)(2024)
Auteurs: Pierre Carbonnelle, Marc Denecker, Gerda Janssens
- Towards Systematic Treatment of Partial Functions in Knowledge Representation(2023)
Auteurs: Dorde Markovic, Maurice Bruynooghe, Marc Denecker
Pagina's: 756 - 770 - Justifications and a Reconstruction of Parity Game Solving Algorithms(2023)
Auteurs: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pagina's: 170 - 187 - On the semantics of "null" in DMN: Undefined is not unknown(2022)
Auteurs: Dorde Markovic, Simon Vandevelde, Joost Vennekens, Marc Denecker
- On Nested Justification Systems(2022)
Auteurs: Marc Denecker
Pagina's: 641 - 657 - On the Relation Between Approximation Fixpoint Theory and Justification Theory(2022)
Auteurs: Simon Marynissen, Marc Denecker
Pagina's: 1973 - 1980Aantal pagina's: 8 - Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory(2022)
Auteurs: Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Pagina's: 523 - 537 - Advances in Justification Theory(2022)
Auteurs: Simon Marynissen, Marc Denecker
- Reconstructing and Improving Parity Game Solvers with Justifications(2021)
Auteurs: Ruben Lapauw, Marc Denecker, Gerda Janssens
- Exploiting Game Theory for Analysing Justifications(2020)
Auteurs: Simon Marynissen, Marc Denecker
Pagina's: 880 - 894