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

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|