| 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

- Preface
- Programme Committee

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