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

Links:
BibTeX entry
@inproceedings{ARCADE2017:AI_at_CADE_IJCAR,
  author    = {Josef Urban},
  title     = {AI at CADE/IJCAR},
  booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
  editor    = {Giles Reger and Dmitriy Traytel},
  series    = {EPiC Series in Computing},
  volume    = {51},
  pages     = {33--36},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/K6hJ},
  doi       = {10.29007/26gg}}
Download PDFOpen PDF in browser