Projects per year
Abstract
Original language | English |
---|---|
Article number | 103550 |
Journal | Artificial Intelligence |
Volume | 300 |
DOIs | |
Publication status | Published - Nov 2021 |
Bibliographical note
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.
Keywords
- Artificial Intelligence
- constraint satisfaction
- explanation
- Explainable AI
- MUS
- Natural language processing
- Logic programming
- explanatory framework
Fingerprint
Dive into the research topics of 'A framework for step-wise explaining how to solve constraint satisfaction problems'. Together they form a unique fingerprint.-
VLAAI1: Flanders Artificial Intelligence Research program (FAIR) – second cycle
1/01/24 → 31/12/28
Project: Applied
-
FWOAL1002: FRESCO: A FRamework for Explainable Solving and Constraint Optimization
Houthuys, L., Bogaerts, B. & Guns, T.
1/01/21 → 31/12/24
Project: Fundamental
Research output
- 18 Citations
- 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, Z-H. (ed.). IJCAI, p. 1381-1388 8 p. 191. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile7 Citations (Scopus)124 Downloads (Pure) -
Step-wise 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. (eds.). IOS Press, Vol. 325. p. 640-647 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile10 Citations (Scopus)150 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. p. 96-96 1 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile
Datasets
-
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
Activities
- 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 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
-
Step-wise Explaining How to Solve Constraint Satisfaction Problems
Bart Bogaerts (Speaker), Emilio Gamba (Contributor) & Tias Guns (Contributor)
13 Sept 2020Activity: Talk or presentation › Talk or presentation at a workshop/seminar
File