Projecten per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Bart Bogaerts actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
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: Fundamenteel
-
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: Fundamenteel
-
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: Toegepast
-
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: Fundamenteel
Onderzoeksoutput
-
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. (redactie). Springer, blz. 1-22 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14132 LNAI).Onderzoeksoutput: Conference paper
Open AccessBestand22 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, blz. 1539-1589 51 blz.Onderzoeksoutput: Article › peer review
Open AccessBestand1 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. blz. 1-27 27 blz.Onderzoeksoutput: 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, blz. 1-44 44 blz., 33.Onderzoeksoutput: Article › peer review
Open AccessBestand3 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, blz. 648-663 16 blz.Onderzoeksoutput: Article › peer review
Open AccessBestand2 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
Bestand
Prijzen
-
AAAI 2022 Distinguihsed Paper Award
Bogaerts, Bart (Recipient), Gocht, S. (Recipient), McCreesh, C. (Recipient) & Nordström, J. (Recipient), 2022
Prijs: Prize (including medals and awards)
-
IJCAI 2021 Distinguished paper award
Marynissen, S. (Recipient), Bogaerts, Bart (Recipient) & Denecker, M. (Recipient), aug 2021
Prijs: Prize (including medals and awards)
Activiteiten
-
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
31 jul 2022Activiteit: Talk or presentation at a workshop/seminar
Bestand -
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
3 jul 2022Activiteit: 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 2021Activiteit: Talk or presentation at a workshop/seminar
Bestand -
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
aug 2021Activiteit: Talk or presentation at a conference
Bestand -
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 2020Activiteit: Participation in conference
Bestand