Vol-3499⫷ Vol-3500 ⫸Vol-3501
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 |