- Computing Abductive Explanations(2022)
Auteurs: Luciano Caroprese, Ester Zumpano, Bart Bogaerts
Pagina's: 18-26
- On Nested Justification Systems(2022)
Auteurs: Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Denecker Marc
Pagina's: 641-657
- Tree-Like Justification Systems are Consistent(2022)
Series: Electronic Proceedings in Theoretical Computer Science
Volume: 364
Auteurs: Simon Marynissen, Bart Bogaerts
Pagina's: 1-11
Aantal pagina's: 11
- Certified Symmetry and Dominance Breaking for Combinatorial Optimisation(2022)
Series: Proceedings of the ... AAAI Conference on Artificial Intelligence
Auteurs: Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Pagina's: 3698-3707
Aantal pagina's: 10
- Expressiveness of SHACL Features(2022)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Volume: 220
Auteurs: Bart Bogaerts, Maxime Jakubowski, Jan Van Den Bussche
Pagina's: 15:1-15:16
Aantal pagina's: 16
- QMaxSATpb: A Certified MaxSAT Solver(2022)
Series: Lecture Notes in Computer Science
Volume: 13416
Auteurs: Dieter Vandesande, Wolf De Wulf, Bart Bogaerts
Pagina's: 429-442
Aantal pagina's: 14
- SHACL: A Description Logic in Disguise(2022)
Series: Lecture Notes in Computer Science
Volume: 13416
Auteurs: Bart Bogaerts, Maxime Jakubowski, Jan Van Den Bussche
Pagina's: 75-88
Aantal pagina's: 14
- Static Symmetry and Dominance Breaking for Pseudo-Boolean Optimization(2022)
Auteurs: Daimy Stefanie Van Caudenberg, Bart Bogaerts
Pagina's: 1-16
- A framework for step-wise explaining how to solve constraint satisfaction problems(2021)
Auteurs: Bart Bogaerts, Emilio Gamba, Tias Guns
- Fixpoint Semantics for Recursive SHACL(2021)
Series: Electronic Proceedings in Computer Science
Volume: 345
Auteurs: Bart Bogaerts, Maxime Jakubowski
Pagina's: 41-47
Aantal pagina's: 7
