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
41 - 50 van 108
- Combining DMN and the knowledge base paradigm for flexible decision enactment(2016)
Auteurs: Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
- An exercise in declarative modeling for relational query mining(2015)
Auteurs: Sergey Paramonov, Matthijs van Leeuwen, Marc Denecker, Luc De Raedt
Pagina's: 166 - 182 - Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3(2015)
Auteurs: Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Pagina's: 783 - A formal theory of justifications(2015)
Auteurs: Marc Denecker
Pagina's: 250 - 264 - A formal theory of justifications(2015)
Auteurs: Marc Denecker, Gerhard Brewka, Hannes Strass, Giovambattista Ianni, Mirek Truszczynski
Pagina's: 250 - 264 - Semantics of templates in a compositional framework for building logics(2015)
Auteurs: Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Pagina's: 681 - 695 - Transforming constraint programs to input for local search(2015)
Auteurs: Jo Devriendt, Patrick De Causmaecker, Marc Denecker
Pagina's: 1 - 16 - Visualising interactive inferences with IDPD3(2015)
Auteurs: Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 67 - 81 - Groundedness in Logics with a Fixpoint Semantics(2015)
Auteurs: Bart Bogaerts, Marc Denecker, Joost Vennekens
- Lazy model expansion: Interleaving grounding with search(2015)
Auteurs: Broes De Cat, Marc Denecker, Maurice Bruynooghe
Pagina's: 235 - 286