Published July 20, 2017 | Version v1
Conference paper Open

AI at CADE/IJCAR

Authors/Creators

  • 1. CTU

Description

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

Files

arcade.pdf

Files (145.9 kB)

Name Size Download all
md5:64cf68cb244371f007e08db0aa252849
145.9 kB Preview Download

Additional details

Funding

European Commission
AI4REASON - Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 649043