Foreword to the Special Issue on Automated Reasoning

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F18%3A00324602" target="_blank" >RIV/68407700:21730/18:00324602 - isvavai.cz</a>

Result on the web

<a href="https://content.iospress.com/articles/ai-communications/aic765" target="_blank" >https://content.iospress.com/articles/ai-communications/aic765</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/AIC-180765" target="_blank" >10.3233/AIC-180765</a>

Result language

angličtina

Original language name

Foreword to the Special Issue on Automated Reasoning

Original language description

This Special Issue on Automated Reasoning follows two successful events in Automated Reasoning: The First Conference on Artificial Intelligence and Theorem Proving1 (AITP 2016) and The Fifth Workshop on Practical Aspects of Automated Reasoning2 (PAAR 2016). The PAAR workshop was held on July 2, 2016, in Coimbra, Portugal, in association with the Eighth International Joint Conference on Automated Reasoning (IJCAR-2016). AITP 2016 took place from April 3 to April 7, 2016, in Obergurgl, Austria.

Czech name

—

Czech description

—

Type

O - Miscellaneous

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/EF15_003%2F0000466" target="_blank" >EF15_003/0000466: Artificial Intelligence and Reasoning</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů