| Vol-3763 urn:nbn:de:0074-3763-0 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 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 2024
Formal and Cognitive Reasoning 2024

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

### Würzburg, Germany, September 23, 2024.

Edited by

### Özgür Lütfü Özçep *
Nele Rußwinkel **
Kai Sauerwald ***
Diedrich Wolter **

* Universität Hamburg, Germany
** Universität zu Lübeck, Germany
*** FernUniversität in Hagen, Germany

## Table of Contents

- Preface
- Programme Committee

### Invited Talk

- The Perceptron and the Tooth: A New family of Logics for Cognitive Modelling 1-4
  Oliver Kutz

### Accepted Papers

- Modeling of Individual Naturalistic Decision Making in a Cognitive Architecture 5-10
  Maximilian Plitt, Nele Russwinkel
- Logic and Psychology: A Couple of Case Studies 11-18
  Torben Braüner
- Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning 19-27
  Claudia Schon
- Embedding Temporal Description Logic Ontologies by Cone-based Geometric Models 28-34
  Mena Leemhuis
- On Computational Problems for Infinite Argumentation Frameworks: Hardness of Finding Acceptable Extensions 35-47
  Uri Andrews, Luca San Mauro
- Modal Categorical Inferences in Quarc 48-59
  Simon Dominik Vonlanthen, Matteo Pascucci

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