Researcher
Maurice Bruynooghe
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Oct 1999 → 4 Aug 2020
Projects
1 - 10 of 12
- Graph mining for computational biologyFrom3 Sep 2013 → 24 Mar 2019Funding: Own budget, for example: patrimony, inscription fees, gifts
- Integrating search and optimisation technology for formal modelling languages.From1 Jan 2013 → 31 Dec 2016Funding: FWO research project
- Declarative modeling for machine learning and data mining.From1 Jan 2013 → 31 Dec 2017Funding: BOF - Concerted Research Project from 1994
- MiniZinc-based Item Set Mining.From1 Dec 2011 → 31 Jan 2012Funding: BOF - Other initiatives
- Mining Frequent Patterns in Large NetworksFrom8 Apr 2011 → 2 Jul 2018Funding: Own budget, for example: patrimony, inscription fees, gifts
- Theory and implementation of knowledge base systems for FO(.)From1 Jan 2010 → 31 Dec 2013Funding: FWO research project
- Mining graphs and networks, a theory-based approach.From1 Oct 2009 → 31 Mar 2010Funding: BOF - Other initiatives
- Developing data mining methods for bioinformatics.From1 Oct 2009 → 30 Sep 2013Funding: FWO fellowships
- Learning from data originating from evolution.From1 Jan 2009 → 31 Dec 2012Funding: FWO research project
- Expressive and interpretable data mining models for life sciences applications.From1 Oct 2008 → 30 Sep 2009Funding: BOF - Other initiatives
Publications
11 - 20 of 58
- First order logic with inductive definitions for model-based problem solving(2016)
Authors: Maurice Bruynooghe, Marc Denecker
Pages: 69 - 80 - Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with IDP3(2015)
Authors: Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Pages: 783 - Lazy model expansion: Interleaving grounding with search(2015)
Authors: Broes De Cat, Marc Denecker, Maurice Bruynooghe
Pages: 235 - 286 - Mining rooted ordered trees under subtree homeomorphism(2015)
Authors: Mostafa Haghir Chehreghani, Maurice Bruynooghe
Pages: 1249 - 1272 - BreakIDGlucose: On the importance of row symmetry in SAT(2014)
Authors: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
Pages: 1 - 17 - Simulating dynamic systems using linear time calculus theories(2014)
Authors: Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker
Pages: 477 - 492 - Meta-level representations in the IDP knowledge base system: Towards bootstrapping inference engine development(2014)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 1 - 14 - A polynomial-time maximum common subgraph algorithm for outerplanar graphs and its application to chemoinformatics(2013)
Authors: Leander Schietgat, Jan Ramon, Maurice Bruynooghe
Pages: 343 - 376 - Detection and exploitation of functional dependencies for model generation(2013)
Authors: Broes De Cat, Maurice Bruynooghe
Pages: 471 - 485 - Constraint propagation for first-order logic and inductive definitions(2013)
Authors: Johan Wittocx, Marc Denecker, Maurice Bruynooghe
Pages: 1 - 45