Projecten per jaar
Vingerafdruk
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
-
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
-
FWOAL990: Approximatie Vastepuntstheorie als een Algemene Algebraische Theorie van Constructieve Kennis
1/01/21 → 31/12/24
Project: Fundamenteel
Onderzoeksoutput
-
Certified Symmetry and Dominance 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 Access -
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 AccessBestand -
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 Access -
Mathematical Foundations for Joining Only Knowing and Common Knowledge
Cramer, M., Pollaci, S. & Bogaerts, B., sep 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Son, T. C. & Kern-Isberner, G. (redactie). ijcai.org, blz. 167-177 11 blz.Onderzoeksoutput: Conference paper
Open Access
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)
aug 2021Activiteit: Talk or presentation at a conference
Bestand -
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 -
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