< Terug naar vorige pagina
Onderzoeker
Maurice Bruynooghe
- 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 - 12 of 12
- Leren in grote relationele gegevensbanken met een toepassing binnen intensieve geneeskunde.Vanaf1 jan 2008 → 31 dec 2011Financiering: FWO Onderzoeksproject
- Probabiliteit, logica en leren.Vanaf1 jan 2008 → 31 dec 2014Financiering: BOF - Geconcert. Onderzoeksacties vanaf 1994
Publicaties
1 - 10 van 58
- Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, Revised Selected Papers(2024)
Auteurs: Maurice Bruynooghe
Aantal pagina's: 238 - 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 - Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory(2022)
Auteurs: Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Pagina's: 523 - 537 - Improving Parity Game Solvers with Justifications(2020)
Auteurs: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pagina's: 449 - 470Aantal pagina's: 22 - Predicate Logic as a Modeling Language: The IDP System(2018)
Auteurs: Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
Pagina's: 279 - 329 - Symmetric explanation learning: Effective dynamic symmetry handling for SAT(2017)
Auteurs: Bart Bogaerts, Jo Devriendt, Maurice Bruynooghe
Pagina's: 83 - 100 - On local domain symmetry for model expansion(2016)
Auteurs: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pagina's: 636 - 652 - 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 - Improved static symmetry breaking for SAT(2016)
Auteurs: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pagina's: 104 - 122