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

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|