FCR 2023
Formal and Cognitive Reasoning 2023

Proceedings of the 9th Workshop on Formal and Cognitive Reasoning
co-located with the 46th German Conference on Artificial Intelligence (KI 2023)

Berlin, Germany, September 26, 2023.

Edited by

Christoph Beierle *
Kai Sauerwald *
François Schwarzentruber **
Frieder Stolzenburg ***

* FernUniversität in Hagen, Germany
** University of Rennes, CNRS, IRISA, France
*** Hochschule Harz, Germany

Table of Contents

Invited Talk

Accepted Papers

2023-09-21: submitted by Kai Sauerwald, metadata incl. bibliographic data published under Creative Commons CC0
2023-10-09: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|