<--- 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

4th International Seminar and Workshop Emerging Technology and Innovation for Cultural Heritage INVITED LECTURESNovember 2016 “Dimitrie Gusti” National Museum of Village

4th International Seminar and Workshop Emerging Technology and Innovation for Cultural Heritage INVITED LECTURESNovember 2016 “Dimitrie Gusti” National Museum of Village

DocID: 1xW1L - View Document

1  <<Swiss Finance + Technology Roundtable vom 24. August  Association>>

1 <>

DocID: 1xVYV - View Document

Technology - investing in creative destruction New technologies enable us to do things cheaper, better and faster – creating new markets, but in the process often destroying old ones. This process continues to accelera

Technology - investing in creative destruction New technologies enable us to do things cheaper, better and faster – creating new markets, but in the process often destroying old ones. This process continues to accelera

DocID: 1xVYL - View Document

Platform technology Manage business growth and complexity with a highly scalable, efficient and flexible platform.  Platform

Platform technology Manage business growth and complexity with a highly scalable, efficient and flexible platform. Platform

DocID: 1xVY8 - View Document

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1  Jet Propulsion Laboratory, California Inst. of Technology, USA

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

DocID: 1xVWh - View Document