Projects per year
Fingerprint
Dive into the research topics where Bart Bogaerts is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
OZR4198: Bilateral cooperation within the framework of a joint doctoral project: benchfee for joint PhD VUB - KU Leuven, VAN DEN EEDE Robbe
18/09/23 → 17/09/27
Project: Fundamental
-
OZR4187: Bilateral cooperation within the framework of a joint doctoral project: benchfee for joint PhD VUB - KU Leuven, VANBESIEN Linde
30/05/23 → 29/05/27
Project: Fundamental
-
IOF3022: IOF GEAR: Artificial Intelligence Lab
Nowe, A., De Boer, B., Bogaerts, B., Beuls, K., Loeckx, J., Wiggins, G., Lenaerts, T., Vranken, W., Libin, P., Dooms, A., Barbé, K., Ginis, V., Verboven, S. & Van Droogenbroeck, F.
1/01/22 → 31/12/26
Project: Applied
-
OZR3978: Bilateral cooperation within the framework of a joint doctoral project: benchfee for joint PhD VUB - tUL/UHasselt, JAKUBOWSKI Maxime
19/07/21 → 18/07/25
Project: Fundamental
Research output
-
Certified Core-Guided MaxSAT Solving
Berg, J., Bogaerts, B., Nordström, J., Oertel, A. & Vandesande, D., 2023, Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings. Pientka, B. & Tinelli, C. (eds.). Springer, p. 1-22 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14132 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile22 Downloads (Pure) -
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Bogaerts, B., Gocht, S., McCreesh, C. & Nordström, J., 2023, In: Journal of Artificial Intelligence Research. 77, p. 1539-1589 51 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
Distributed Subweb Specifications for Traversing the Web
Bogaerts, B., Ketsman, B., Zeboudj, Y., Aamer, H., Taelman, R. & Verborgh, R., 2023, In: Theory and Practice of Logic Programming. p. 1-27 27 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Inputs, Outputs, and Composition in the Logic of Information Flows
Aamer, H., Bogaerts, B., SURINX, D., Ternovska, E. & Van Den Bussche, J., 2023, In: ACM Transactions on Computational Logic. 24, 4, p. 1-44 44 p., 33.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Downloads (Pure) -
Interactive Model Expansion in an Observable Environment
Carbonnelle, P., Vennekens, J., Denecker, M. & Bogaerts, B., 2023, In: Theory and Practice of Logic Programming. 23, 4, p. 648-663 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Downloads (Pure)
Datasets
-
A Formalisation of Approximation Fixpoint Theory
Bogaerts, B. (Creator) & Cruz-Filipe, L. (Creator), Zenodo, 2021
Dataset
-
A framework for step-wise explaining how to solve constraint satisfaction problems
Gamba, E. (Creator), Bogaerts, B. (Creator), Guns, T. (Creator) & Claes, J. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4966599, http://10.1016/j.artint.2021.103550
Dataset
File
Prizes
-
AAAI 2022 Distinguihsed Paper Award
Bogaerts, Bart (Recipient), Gocht, S. (Recipient), McCreesh, C. (Recipient) & Nordström, J. (Recipient), 2022
Prize: Prize (including medals and awards)
-
IJCAI 2021 Distinguished paper award
Marynissen, S. (Recipient), Bogaerts, Bart (Recipient) & Denecker, M. (Recipient), Aug 2021
Prize: Prize (including medals and awards)
Activities
-
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
31 Jul 2022Activity: Talk or presentation › Talk or presentation at a workshop/seminar
File -
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
3 Jul 2022Activity: Talk or presentation › Talk or presentation at a workshop/seminar
-
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
21 Sep 2021Activity: Talk or presentation › Talk or presentation at a workshop/seminar
File -
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
Aug 2021Activity: Talk or presentation › Talk or presentation at a conference
File -
Doctoral Program at the 26th International Conference on Principles and Practice of Constraint Programming
Emilio Gamba (Participant), Bart Bogaerts (Supervisor) & Tias Guns (Supervisor)
7 Sep 2020Activity: Participating in or organising an event › Participation in conference
File