< 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
11 - 12 of 12
- Learning in large relational databases with an application in intensive care medicine.From1 Jan 2008 → 31 Dec 2011Funding: FWO research project
- Probabilistic Logic Learning.From1 Jan 2008 → 31 Dec 2014Funding: BOF - Concerted Research Project from 1994
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