< Back to previous page
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
1 - 10 of 58
- Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, Revised Selected Papers(2024)
Authors: Maurice Bruynooghe
Number of pages: 238 - Towards Systematic Treatment of Partial Functions in Knowledge Representation(2023)
Authors: Dorde Markovic, Maurice Bruynooghe, Marc Denecker
Pages: 756 - 770 - Justifications and a Reconstruction of Parity Game Solving Algorithms(2023)
Authors: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pages: 170 - 187 - Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory(2022)
Authors: Linde Vanbesien, Maurice Bruynooghe, Marc Denecker
Pages: 523 - 537 - Improving Parity Game Solvers with Justifications(2020)
Authors: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pages: 449 - 470Number of pages: 22 - Predicate Logic as a Modeling Language: The IDP System(2018)
Authors: Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
Pages: 279 - 329 - Symmetric explanation learning: Effective dynamic symmetry handling for SAT(2017)
Authors: Bart Bogaerts, Jo Devriendt, Maurice Bruynooghe
Pages: 83 - 100 - On local domain symmetry for model expansion(2016)
Authors: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pages: 636 - 652 - Bootstrapping inference in the IDP Knowledge Base System(2016)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 193 - 220 - Improved static symmetry breaking for SAT(2016)
Authors: Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
Pages: 104 - 122