Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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
-
FWOAL990: Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge
1/01/21 → 31/12/24
Project: Fundamental
-
FWOAL1002: FRESCO: A FRamework for Explainable Solving and Constraint Optimization
1/01/21 → 31/12/24
Project: Fundamental
-
FWOTM934: Integration in Knowledge Representation and Reasoning
1/10/17 → 30/09/20
Project: Fundamental
Research output
-
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, p. 1539-1589 51 p.Research output: Contribution to journal › 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. 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 AccessFile -
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 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. (eds.). ijcai.org, p. 167-177 11 p.Research output: Chapter in Book/Report/Conference proceeding › 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
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)
Aug 2021Activity: Talk or presentation › Talk or presentation at a conference
File -
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 -
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