Original: https://ceur-ws.org/Vol-3763/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3763/ | Year: 2024

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 https://creativecommons.org/licenses/by/4.0/.

FCR 2024

Proceedings of the 10th Workshop on Formal and Cognitive Reasoning
co-located with KI 2023

Würzburg, Germany, September 23, 2024.

Edited by

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

Table of Contents

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

2024-09-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|