Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

First Page		Document Content
Date: 2017-07-30 15:10:53 Artificial intelligence Cognitive science Logic Cognition Cybernetics Automated reasoning Automated theorem proving Computational neuroscience Explainable Artificial Intelligence Mark E. Stickel Reason Inference		Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15 Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 91,05 KB Share Document on Facebook