Download PDFOpen PDF in browser

AI at CADE/IJCAR

4 pagesPublished: November 8, 2017

Abstract

This text briefly discusses and criticizes the prevailing attitudes towards AI and Machine Learning research in the current Automated Reasoning (CADE/IJCAR) community.

Keyphrases: Artificial Intelligence, automated reasoning, CADE, IJCAR

In: Giles Reger and Dmitriy Traytel (editors). ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, vol 51, pages 33--36

Download PDFOpen PDF in browser