<!DOCTYPE html>
<!-- CEURVERSION=2020-07-09 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-3763 - Formal and Cognitive Reasoning</title>
</head>
<!--CEURLANG=eng -->
<body>



<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-3763</span> <br>
<span class="CEURURN">urn:nbn:de:0074-3763-0</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2024 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2024</span> 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
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="https://fcr.krportal.org/2024/"><span class="CEURVOLACRONYM">FCR 2024</span></a><br>
<span class="CEURVOLTITLE">Formal and Cognitive Reasoning 2024</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 10th Workshop on Formal and Cognitive Reasoning</span><br>
co-located with the 47th German Conference on Artificial Intelligence (<span class="CEURCOLOCATED">KI 2023</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">Würzburg, Germany, September 23, 2024</span>.</h3> 

<br>
<b> Edited by </b>
<p>

</p><h3>
   <a href="https://www.philosophie.uni-hamburg.de/chai/personen/oezcep.html"><span class="CEURVOLEDITOR">Özgür Lütfü Özçep</span></a> *<br>
   <a href="https://www.ifis.uni-luebeck.de/index.php?id=russwinkel"><span class="CEURVOLEDITOR">Nele Rußwinkel</span></a> **<br>
   <a href="https://www.fernuni-hagen.de/aig/team/kai.sauerwald.shtml"><span class="CEURVOLEDITOR">Kai Sauerwald</span></a> ***<br>
   <a href="https://www.isp.uni-luebeck.de/staff/d-wolter"><span class="CEURVOLEDITOR">Diedrich Wolter</span></a> **<br>

</h3>

* <a href="https://www.uni-hamburg.de">Universität Hamburg</a>, Germany<br>
** <a href="https://www.uni-luebeck.de">Universität zu Lübeck</a>, Germany<br>
*** <a href="https://www.fernuni-hagen.de/">FernUniversität in Hagen</a>, Germany<br>
  <br>

<hr>

<br><br><br>



<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li id="xpreface">
<A href="xpreface.pdf">Preface</A><BR>
</li>
<li id="xcommittee">
<A href="xcommittee.pdf">Programme Committee</A>
</li>
</ul>

<h3><span class="CEURSESSION">Invited Talk</span></h3>

<ul>

<li id="invited0">
<a href="invited0.pdf"><span>The Perceptron and the Tooth: A New family of Logics for Cognitive Modelling</span></a>
<span class="CEURPAGES">1-4</span> <br>
<span class="CEURAUTHOR">Oliver Kutz</span>
</li>

</ul>


<h3><span class="CEURSESSION">Accepted Papers</span></h3>
<ul>

<li id="paper0"><a href="paper0.pdf">
<span class="CEURTITLE">Modeling of Individual Naturalistic Decision Making in a Cognitive Architecture</span></a>
<span class="CEURPAGES">5-10</span> <br>
<span class="CEURAUTHOR">Maximilian Plitt</span>,
<span class="CEURAUTHOR">Nele Russwinkel</span>
</li>


<li id="paper1"><a href="paper1.pdf">
<span class="CEURTITLE">Logic and Psychology: A Couple of Case Studies</span></a>
<span class="CEURPAGES">11-18</span> <br>
<span class="CEURAUTHOR">Torben Braüner</span>
</li>


<li id="paper2"><a href="paper2.pdf">
<span class="CEURTITLE">Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning</span></a>
<span class="CEURPAGES">19-27</span> <br>
<span class="CEURAUTHOR">Claudia Schon</span>
</li>


<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">Embedding Temporal Description Logic Ontologies by Cone-based Geometric Models</span></a>
<span class="CEURPAGES">28-34</span> <br>
<span class="CEURAUTHOR">Mena Leemhuis</span>
</li>


<li id="paper4"><a href="paper4.pdf">
<span class="CEURTITLE">On Computational Problems for Infinite Argumentation Frameworks: Hardness of Finding Acceptable Extensions</span></a>
<span class="CEURPAGES">35-47</span> <br>
<span class="CEURAUTHOR">Uri Andrews</span>,
<span class="CEURAUTHOR">Luca San Mauro</span>
</li>


<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">Modal Categorical Inferences in Quarc</span></a>
<span class="CEURPAGES">48-59</span> <br>
<span class="CEURAUTHOR">Simon Dominik Vonlanthen</span>,
<span class="CEURAUTHOR">Matteo Pascucci</span>
</li>


</ul>


</div>


<hr>
<span class="unobtrusive">
2024-09-13: submitted by Kai Sauerwald, 
            metadata incl. bibliographic data published under <A HREF="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2024-09-24</span>: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
	|<a href="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-3763%2F">valid HTML5</a>|
</span>
</body></html>
