Projecten per jaar
Samenvatting
Originele taal2  English 

Artikelnummer  103550 
Tijdschrift  Artificial Intelligence 
Volume  300 
DOI's  
Status  Published  nov 2021 
Bibliografische nota
Funding Information:This research received funding from the Flemish Government under the ‘Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen’ programme and the FWO Flanders project G070521N . We thank Jens Claes (and his master thesis supervisor Marc Denecker) for the implementation of a typed extension of the Blackburn & Bos framework as part of his master's thesis, as well as Rocsildes Canoy for his help with the NLP aspect of the information pipeline.
Publisher Copyright:
© 2021 The Authors
Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
Vingerafdruk
Duik in de onderzoeksthema's van 'A framework for stepwise explaining how to solve constraint satisfaction problems'. Samen vormen ze een unieke vingerafdruk.Projecten
 2 Actief

FWOAL1002: FRESCO: Een Framework voor Uitlegbaar Zoeken en Optimalisatie onder Beperkingen
Bogaerts, B. & Guns, T.
1/01/21 → 31/12/24
Project: Fundamenteel

VLAAI1: Subsidie: Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen
1/07/19 → 31/12/24
Project: Toegepast
Onderzoekersoutput
 7 Citaties
 3 Conference paper

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Gamba, E., Bogaerts, B. & Guns, T., 2021, Efficiently Explaining CSPs with Unsatisfiable Subset Optimization . Zhou, ZH. (redactie). IJCAI, blz. 13811388 8 blz. 191. (IJCAI International Joint Conference on Artificial Intelligence).Onderzoeksoutput: Conference paper
Open AccessBestand5 Citaten (Scopus)97 Downloads (Pure) 
Stepwise Explanations of Constraint Satisfaction Problems
Bogaerts, B., Gamba, E., Guns, T. & Claes, J., 24 aug 2020, ECAI 2020  24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020  Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (redactie). IOS Press, Vol. 325. blz. 640647 8 blz. (Frontiers in Artificial Intelligence and Applications; vol. 325).Onderzoeksoutput: Conference paper
Open AccessBestand6 Citaten (Scopus)98 Downloads (Pure) 
ZebraTutor: Explaining how to solve logic grid puzzles (demo)
Claes, J., Bogaerts, B., Canoy, R., Gamba, E. & Guns, T., 1 jan 2019, Proceedings of the 31st Benelux Conference on Artificial Intelligence (demos). RWTH Aachen, Vol. 2491. blz. 9696 1 blz. (CEUR Workshop Proceedings).Onderzoeksoutput: Conference paper
Open AccessBestand
Datasets

A framework for stepwise 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
Activiteiten
 3 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)
3 jul 2022Activiteit: Talk or presentation at a workshop/seminar

Stepwise Explaining How to Solve Constraint Satisfaction Problems
Bart Bogaerts (Speaker), Emilio Gamba (Contributor) & Tias Guns (Contributor)
13 sep 2020Activiteit: Talk or presentation at a workshop/seminar
Bestand