![Artificial intelligence / Cognitive science / Logic / Cognition / Cybernetics / Automated reasoning / Automated theorem proving / Computational neuroscience / Explainable Artificial Intelligence / Mark E. Stickel / Reason / Inference Artificial intelligence / Cognitive science / Logic / Cognition / Cybernetics / Automated reasoning / Automated theorem proving / Computational neuroscience / Explainable Artificial Intelligence / Mark E. Stickel / Reason / Inference](https://www.pdfsearch.io/img/f13d91ce64506fb197f1cf2ef1a338cc.jpg) Date: 2017-07-30 15:10:53Artificial 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 15Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 91,05 KBShare Document on Facebook
|