| Vol-2445 urn:nbn:de:0074-2445-7 Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 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).

# DKB-KIK 2019
KI 2019 Workshop on Formal and Cognitive Reasoning

### Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019)
co-located with 44nd German Conference on Artificial Intelligence (KI 2019)

### Kassel, Germany, September 23, 2019.

Edited by

### Christoph Beierle *
Marco Ragni **
Frieder Stolzenburg ***
Matthias Thimm ****

* FernUniversität in Hagen, Germany
** Universität Freiburg, Germany
*** Hochschule Harz, Germany
**** Universität Koblenz-Landau, Germany

## Table of Contents

- Preface
- Organization

### Invited Papers

- Ordinal Data Analysis 1
  Gerd Stumme

### Regular Papers

- Human Syllogistic Reasoning: Towards Predicting Individuals’ Reasoning Behavior based on Cognitive Principles 2-13
  Emmanuelle-Anna Dietz Saldanha, Robert Schambach
- WHIWAP: Checking Iterative Belief Changes 14-23
  Kai Sauerwald, Jonas Haldimann
- SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability 24-35
  Marcos Cramer, Leon van der Torre
- Logic Conditionals, Supervenience, and Selection Tasks 36-46
  Giovanni Sileno
- InfOCF-Lib: A Java Library for OCF-based Conditional Inference 47-58
  Steven Kutsch
- Reifying Default Reasons in Justification Logic 59-70
  Stipe Pandžić
- Instantiating Sapience: An Inquiry into Reason 71-82
  Andrea Giuseppe Ragno

2019-09-08: submitted by Matthias Thimm, metadata incl. bibliographic data published under Creative Commons CC0
2019-09-16: published on CEUR-WS.org |valid HTML5|