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
11 - 20 van 58
- First order logic with inductive definitions for model-based problem solving(2016)
Auteurs: Maurice Bruynooghe, Marc Denecker
Pagina's: 69 - 80 - 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 - Lazy model expansion: Interleaving grounding with search(2015)
Auteurs: Broes De Cat, Marc Denecker, Maurice Bruynooghe
Pagina's: 235 - 286 - Mining rooted ordered trees under subtree homeomorphism(2015)
Auteurs: Mostafa Haghir Chehreghani, Maurice Bruynooghe
Pagina's: 1249 - 1272 - BreakIDGlucose: On the importance of row symmetry in SAT(2014)
Auteurs: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Pagina's: 1 - 17 - Simulating dynamic systems using linear time calculus theories(2014)
Auteurs: Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Pagina's: 477 - 492 - Meta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development(2014)
Auteurs: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pagina's: 1 - 14 - A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics(2013)
Auteurs: Leander Schietgat, Jan Ramon, Maurice Bruynooghe
Pagina's: 343 - 376 - Detection and exploitation of functional dependencies for model generation(2013)
Auteurs: Broes De Cat, Maurice Bruynooghe
Pagina's: 471 - 485 - Constraint propagation for first-order logic and inductive definitions(2013)
Auteurs: Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Pagina's: 1 - 45