Bogaerts, Bart

15 publications

AAAI 2025 Exploiting Symmetries in MUS Computation Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns

AAAI 2024 Using Symmetries to Lift Satisfiability Checking Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker

JAIR 2023 Certified Dominance and Symmetry Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

JAIR 2023 Efficiently Explaining CSPs with Unsatisfiable Subset Optimization Emilio Gamba, Bart Bogaerts, Tias Guns

AAAI 2022 Certified Symmetry and Dominance Breaking for Combinatorial Optimisation Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

IJCAI 2021 Efficiently Explaining CSPs with Unsatisfiable Subset Optimization Emilio Gamba, Bart Bogaerts, Tias Guns

IJCAI 2021 On the Relation Between Approximation Fixpoint Theory and Justification Theory Simon Marynissen, Bart Bogaerts, Marc Denecker

AAAI 2019 Weighted Abstract Dialectical Frameworks Through the Lens of Approximation Fixpoint Theory Bart Bogaerts

IJCAI 2018 Exploiting Justifications for Lazy Grounding of Answer Set Programs Bart Bogaerts, Antonius Weinzierl

IJCAI 2017 Safe Inductions: An Algebraic Study Bart Bogaerts, Joost Vennekens, Marc Denecker

IJCAI 2017 Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory Bart Bogaerts, Luís Cruz-Filipe

IJCAI 2016 Distributed Autoepistemic Logic and Its Application to Access Control Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker

IJCAI 2016 Relevance for SAT(ID) Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker

AAAI 2015 Grounded Fixpoints Bart Bogaerts, Joost Vennekens, Marc Denecker

IJCAI 2015 Partial Grounded Fixpoints Bart Bogaerts, Joost Vennekens, Marc Denecker