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
|