Foreword to the Special Issue on Automated Reasoning

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Foreword to the Special Issue on Automated Reasoning

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Foreword to the Special Issue on Automated Reasoning

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/EF15_003%2F0000466" target="_blank" >EF15_003/0000466: Umělá inteligence a uvažování</a><br>

Návaznosti

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

Rok uplatnění

2018

Kód důvěrnosti údajů

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