Download PDFOpen PDF in browserAI at CADE/IJCAR4 pages•Published: November 8, 2017AbstractThis 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.
|