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
-
-
OZR4246: Bilateral cooperation within the framework of a joint doctoral project: benchfee for joint PhD VUB - KU Leuven, POLLACI Samuele
7/11/23 → 6/11/27
Project: Fundamenteel
-
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., Loeckx, J., Schietgat, L., Blondeel, M., Balcaen, G. & Yadav, N.
1/01/22 → 31/12/26
Project: Toegepast
Onderzoeksoutput
-
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
Pollaci, S., Kostopoulos, B., Denecker, M. & Bogaerts, B., 9 okt 2024, Logic Programming and Nonmonotonic Reasoning: LPNMR 2024. Dodaro, C., Gupta, G. & Vanina Martinez, M. (redactie). Springer, Cham, Vol. 15245. blz. 317-330 (Lecture Notes in Computer Science; vol. 15245).Onderzoeksoutput: Conference paper
Open Access -
Approximation Fixpoint Theory in Coq: with an Application to Logic Programming
Bogaerts, B. & Cruz-Filipe, L., 2024, Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Springer, blz. 84-99 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).Onderzoeksoutput: Chapter › peer review
Open AccessBestand29 Downloads (Pure) -
Distributed Subweb Specifications for Traversing the Web
Bogaerts, B., Ketsman, B., Zeboudj, Y., Aamer, H., Taelman, R. & Verborgh, R., mrt 2024, In: Theory and Practice of Logic Programming. 24, 2, blz. 394-420 27 blz.Onderzoeksoutput: Article › peer review
Open AccessBestand -
Embedding justification theory in approximation fixpoint theory
Marynissen, S., Bogaerts, B. & Denecker, M., jun 2024, In: Artificial Intelligence. 331, 31 blz., 104112.Onderzoeksoutput: Article › peer review
Bestand18 Downloads (Pure) -
Executable First-Order Queries in the Logic of Information Flows
Aamer, H., Bogaerts, B., SURINX, D., Ternovska, E. & Van den Bussche, J., 8 mei 2024, In: Logical Methods in Computer Science.Onderzoeksoutput: Article › peer review
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)
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)
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)
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