Follow
Bart Bogaerts
Bart Bogaerts
Associate Professor, AI Lab, Department of Computer Science, Vrije Universiteit Brussel
Verified email at vub.be - Homepage
Title
Cited by
Cited by
Year
Predicate logic as a modeling language: the IDP system
B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker
Declarative Logic Programming: Theory, Systems, and Applications, 279-323, 2018
1132018
Improved static symmetry breaking for SAT
J Devriendt, B Bogaerts, M Bruynooghe, M Denecker
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
792016
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
M Bruynooghe, H Blockeel, B Bogaerts, B De Cat, S De Pooter, J Jansen, ...
Theory and Practice of Logic Programming 15 (6), 783-817, 2015
542015
Model expansion in the presence of function symbols using constraint programming
B De Cat, B Bogaerts, J Devriendt, M Denecker
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
462013
Grounded fixpoints and their applications in knowledge representation
B Bogaerts, J Vennekens, M Denecker
Artificial Intelligence 224, 51-71, 2015
392015
Symmetric explanation learning: Effective dynamic symmetry handling for SAT
J Devriendt, B Bogaerts, M Bruynooghe
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
382017
Symmetry propagation: Improved dynamic symmetry breaking in SAT
J Devriendt, B Bogaerts, B De Cat, M Denecker, C Mears
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
372012
Certified symmetry and dominance breaking for combinatorial optimisation
B Bogaerts, S Gocht, C McCreesh, J Nordström
Proceedings of the AAAI Conference on Artificial Intelligence 36 (4), 3698-3707, 2022
272022
A framework for step-wise explaining how to solve constraint satisfaction problems
B Bogaerts, E Gamba, T Guns
Artificial Intelligence 300, 103550, 2021
262021
Solving QBF instances with nested SAT solvers
B Bogaerts, T Janhunen, S Tasharrofi
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
262016
Step-wise explanations of constraint satisfaction problems
B Bogaerts, E Gamba, J Claes, T Guns
ECAI 2020, 640-647, 2020
252020
Exploiting Justifications for Lazy Grounding of Answer Set Programs.
B Bogaerts, A Weinzierl
IJCAI, 1737-1745, 2018
222018
Fixpoint semantics for active integrity constraints
B Bogaerts, L Cruz-Filipe
Artificial Intelligence 255, 43-70, 2018
222018
Stable-unstable semantics: Beyond NP with normal logic programs
B Bogaerts, T Janhunen, S Tasharrofi
Theory and Practice of Logic Programming 16 (5-6), 570-586, 2016
192016
Certified core-guided MaxSAT solving
J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande
International Conference on Automated Deduction, 1-22, 2023
182023
Safe inductions and their applications in knowledge representation
B Bogaerts, J Vennekens, M Denecker
Artificial Intelligence 259, 167-185, 2018
18*2018
Simulating dynamic systems using linear time calculus theories
B Bogaerts, J Jansen, M Bruynooghe, B De Cat, J Vennekens, ...
Theory and Practice of Logic Programming 14 (4-5), 477-492, 2014
18*2014
QMaxSATpb: A certified MaxSAT solver
D Vandesande, W De Wulf, B Bogaerts
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022
172022
SHACL: A description logic in disguise
B Bogaerts, M Jakubowski, J Van den Bussche
International Conference on Logic Programming and Nonmonotonic Reasoning, 75-88, 2022
162022
Weighted abstract dialectical frameworks through the lens of approximation fixpoint theory
B Bogaerts
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2686-2693, 2019
162019
The system can't perform the operation now. Try again later.
Articles 1–20