ICTAI 2016 (Event)

  • Armin Biere (Member)

Activity: Membership/FunctionProgram committee

Description

ICTAI 2016: The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Following the success of previous years, ICTAI 2016 will highlight a track dedicated to SAT and CSP this year as well. Constraint Solving Programming (CSP) and SAT-based technologies have become major related topics of research and application in AI this last decade, opening up new perspectives about effective AI application domains. The ICTAI conference is a major forum for the CSP and SAT research communities for presenting new high-quality results. The track is intended to further develop the role of ICTAI in that respect.
Period06 Nov 201608 Nov 2016
Event titleICTAI 2016
Event typeOther
LocationUnited StatesShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics