<!DOCTYPE html>
<!-- CEURVERSION=2019-08-01 -->
<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-2445 - KI 2019 Workshop on Formal and Cognitive Reasoning (DKB-KIK 2019)</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">

<span class="CEURVOLNR">Vol-2445</span> <br>
<span class="CEURURN">urn:nbn:de:0074-2445-7</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2019 for
the individual papers by the papers' authors.
Copyright &copy; <span class="CEURPUBYEAR">2019</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/">(CC BY 4.0)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>
<br><br><br>

<h1><a href="http://www.fernuni-hagen.de/wbs/dkbkik2019"><span class="CEURVOLACRONYM">DKB-KIK 2019</span></a><br>
<span class="CEURVOLTITLE">KI 2019 Workshop on Formal and Cognitive Reasoning</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI &amp; Kognition (KIK-2019)</span><br>
co-located with 44nd German Conference on Artificial Intelligence (<span class="CEURCOLOCATED">KI 2019</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">Kassel, Germany, September 23, 2019</span>.</h3>
<br>
<b> Edited by </b>
<p>

</p><h3>
<a href="https://www.fernuni-hagen.de/wbs/index.html"><span class="CEURVOLEDITOR">Christoph Beierle</span></a> *<br>
<a href="http://www.cc.uni-freiburg.de/staff/marco-ragni"><span class="CEURVOLEDITOR">Marco Ragni</span></a> **<br>
<a href="https://www.hs-harz.de/fstolzenburg/zur-person/"><span class="CEURVOLEDITOR">Frieder Stolzenburg</span></a> ***<br>
<a href="http://www.mthimm.de"><span class="CEURVOLEDITOR">Matthias Thimm</span></a> ****<br>

</h3>

* <a href="https://www.fernuni-hagen.de">FernUniversität in Hagen</a>, Germany<br>
** <a href="https://www.uni-freiburg.de">Universität Freiburg</a>, Germany<br>
*** <a href="https://www.hs-harz.de">Hochschule Harz</a>, Germany<br>
**** <a href="http://uni-koblenz-landau.de">Universität Koblenz-Landau</a>, Germany

<hr>

<br><br><br>


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

<ul>
<li id="preface">
<A href="preface.pdf">Preface</A><BR><BR>
</li>
<li id="organization">
<A href="organization.pdf">Organization</A><BR><BR>
</li>
</ul>
<h3><span class="CEURSESSION">Invited Papers</span></h3>

<ul>

<li id="invited_1"><a href="invited_1.pdf">
<span class="CEURTITLE">Ordinal Data Analysis </span></a>
<span class="CEURPAGES">1</span> <br>
<span class="CEURAUTHOR">Gerd Stumme</span>
</li>
</ul>


<h3><span class="CEURSESSION">Regular Papers</span></h3>

<ul>

  <li id="paper_1"><a href="paper_1.pdf">
  <span class="CEURTITLE">Human Syllogistic Reasoning: Towards Predicting Individuals’ Reasoning Behavior based on Cognitive Principles</span></a>
  <span class="CEURPAGES">2-13</span> <br>
  <span class="CEURAUTHOR">Emmanuelle-Anna Dietz Saldanha</span>, <span class="CEURAUTHOR">Robert Schambach</span>
  </li>

  <li id="paper_2"><a href="paper_2.pdf">
  <span class="CEURTITLE">WHIWAP: Checking Iterative Belief Changes</span></a>
  <span class="CEURPAGES">14-23</span> <br>
  <span class="CEURAUTHOR">Kai Sauerwald</span>, <span class="CEURAUTHOR">Jonas Haldimann</span>
  </li>

<li id="paper_3"><a href="paper_3.pdf">
<span class="CEURTITLE">SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability</span></a>
<span class="CEURPAGES">24-35</span> <br>
<span class="CEURAUTHOR">Marcos Cramer</span>, <span class="CEURAUTHOR">Leon van der Torre</span>
</li>

<li id="paper_4"><a href="paper_4.pdf">
<span class="CEURTITLE">Logic Conditionals, Supervenience, and Selection Tasks</span></a>
<span class="CEURPAGES">36-46</span> <br>
<span class="CEURAUTHOR">Giovanni Sileno</span>
</li>

<li id="paper_5"><a href="paper_5.pdf">
<span class="CEURTITLE">InfOCF-Lib: A Java Library for OCF-based Conditional Inference</span></a>
<span class="CEURPAGES">47-58</span> <br>
<span class="CEURAUTHOR">Steven Kutsch</span>
</li>


<li id="paper_6"><a href="paper_6.pdf">
<span class="CEURTITLE">Reifying Default Reasons in Justification Logic</span></a>
<span class="CEURPAGES">59-70</span> <br>
<span class="CEURAUTHOR">Stipe Pand&#382;i&#263;</span>
</li>

<li id="paper_7"><a href="paper_7.pdf">
<span class="CEURTITLE">Instantiating Sapience: An Inquiry into Reason</span></a>
<span class="CEURPAGES">71-82</span> <br>
<span class="CEURAUTHOR">Andrea Giuseppe Ragno</span>
</li>



</ul>


</div>


<hr>
<span class="unobtrusive">
2019-09-08: submitted by Matthias Thimm,
            metadata incl. bibliographic data published under <A HREF="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2019-09-16</span>: published on CEUR-WS.org
	|<A HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-2445%2F">valid HTML5</A>|
</span>
</body></html>
