Maurice Bruynooghe
Katholieke Universiteit Leuven
H-index: 52
Europe-Belgium
Top articles of Maurice Bruynooghe
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Using Symmetries to Lift Satisfiability Checking | Proceedings of the AAAI Conference on Artificial Intelligence | Pierre Carbonnelle Gottfried Schenner Maurice Bruynooghe Bart Bogaerts Marc Denecker | 2024/3/24 |
Towards Systematic Treatment of Partial Functions in Knowledge Representation | Djordje Markovic Maurice Bruynooghe Marc Denecker | 2023/9/20 | |
Justifications and a Reconstruction of Parity Game Solving Algorithms | Ruben Lapauw Maurice Bruynooghe Marc Denecker | 2023/5/17 | |
On the semantics of | Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium@ RuleML+ RR 2022 | Dorde Markovic Simon Vandevelde Joost Vennekens Marc Denecker Maurice Bruynooghe | 2022/10/3 |
Analyzing semantics of aggregate answer set programming using approximation fixpoint theory | Theory and Practice of Logic Programming | Linde Vanbesien Maurice Bruynooghe Marc Denecker | 2022/7 |
Improving parity game solvers with justifications | Ruben Lapauw Maurice Bruynooghe Marc Denecker | 2020/1/13 |