< 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
1 - 10 of 12
- Graaf-analyse voor computationele biologieVanaf3 sep 2013 → 24 mrt 2019Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Integratie van zoek- en optimalisatietechnologie voor formele modelleertalen.Vanaf1 jan 2013 → 31 dec 2016Financiering: FWO Onderzoeksproject
- Declaratief modeleren voor machinaal leren en dataontginning.Vanaf1 jan 2013 → 31 dec 2017Financiering: BOF - Geconcert. Onderzoeksacties vanaf 1994
- MiniZinc-based Item Set Mining.Vanaf1 dec 2011 → 31 jan 2012Financiering: BOF - Andere acties
- Zoeken naar veel voorkomende patronen in grote netwerkenVanaf8 apr 2011 → 2 jul 2018Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Theorie en implementatie van kennisbank-systemen voor FO(.)Vanaf1 jan 2010 → 31 dec 2013Financiering: FWO Onderzoeksproject
- Theorie van het mining van grafen en netwerken.Vanaf1 okt 2009 → 31 mrt 2010Financiering: BOF - Andere acties
- Ontwikkelen van dataminingmethoden voor de bio-informatica.Vanaf1 okt 2009 → 30 sep 2013Financiering: FWO mandaten
- Leren uit door evolutie gegenereerde data.Vanaf1 jan 2009 → 31 dec 2012Financiering: FWO Onderzoeksproject
- Expressieve en interpreteerbare dataminingmodellen voor life sciences toepassingen.Vanaf1 okt 2008 → 30 sep 2009Financiering: BOF - Andere acties
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