Formal and Cognitive Reasoning

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning
co-located with 43rd German Conference on Artificial Intelligence (KI-2020)

Online / Bamberg, Germany, September 22, 2020.

Edited by

Christoph Beierle *
Marco Ragni **
Frieder Stolzenburg ***
Matthias Thimm ****

* FernUniversität in Hagen, Germany
** SDU Kolding, Denmark
*** Hochschule Harz, Germany
**** Universität Koblenz-Landau, Germany

Table of Contents

Invited Talk

Regular Contributions

2020-09-16: submitted by Frieder Stolzenburg, metadata incl. bibliographic data published under Creative Commons CC0
2020-09-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|