@INPROCEEDINGS{MPB-DAP:ARCADE2017:ARforXAI, AUTHOR = "Maria Paola Bonacina", TITLE = "Automated reasoning for explainable artificial intelligence", BOOKTITLE = "Proceedings of the 1st Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)", EDITOR = "Giles Reger and Dmitriy Treytel", SERIES = "EPiC Series in Computing", VOLUME = 51, PAGES = "24--28", PUBLISHER = "EasyChair", MONTH = "November", DOI = "10.29007/4b7h", YEAR = 2017}