Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

First Page		Document Content
Date: 2017-08-08 03:28:31 Artificial intelligence Logic Cognitive science Automated reasoning Reasoning Accountability Technology Automated theorem proving Explainable Artificial Intelligence Xai Inference		Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 47,70 KB Share Document on Facebook

	Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona DocID: 1xVwB - View Document
	Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15 DocID: 1xVfb - View Document
	Broad Agency Announcement Explainable Artificial Intelligence (XAI) DARPA-BAAAugust 10, 2016 Defense Advanced Research Projects Agency DocID: 1tD8A - View Document
	Building Explainable Artificial Intelligence Systems DocID: QtKk - View Document