Vol-3500
urn:nbn:de:0074-3500-2

Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

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

The Relevance of Formal Logics for Cognitive Logics, and Vice Versa 1
Gabriele Kern-Isberner
In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning 2-7
Meghna Bhadra, Ulrich Furbach

Accepted Papers

Analogical Proportions and Betweenness 8-19
Mena Leemhuis, Özgür Lütfü Özcep
An Ontological Modelling of Prototype Theories 20-31
Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz
Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics 32-43
Kenneth Skiba
Ranking-based Semantics for Assumption-based Argumentation 44-52
Kenneth Skiba, Matthias Thimm, Johannes P. Wallner

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|