<--- Back to Details
First PageDocument Content
Artificial intelligence / Logic / Cognitive science / Automated reasoning / Reasoning / Accountability / Technology / Automated theorem proving / Explainable Artificial Intelligence / Xai / Inference
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

Similar Documents

PROJECT PAI  TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK

PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK

DocID: 1xVWW - View Document

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect  Santa Clara, CA

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA

DocID: 1xVOm - View Document

Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs  Marvin - Open source artificial intelligence platform Lucas B. Miguel

Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel

DocID: 1xVLb - View Document

Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018

Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018

DocID: 1xVHi - View Document