Vol-1928
urn:nbn:de:0074-1928-1

Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

DKB-KIK 2017
KI 2017 Workshop on Formal and Cognitive Reasoning

Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017)
co-located with 40th German Conference on Artificial Intelligence (KI 2017)

Dortmund, Germany, September 26, 2017.

Edited by

Christoph Beierle *
Gabriele Kern-Isberner
Marco Ragni *
Frieder Stolzenburg ****

* FernUniversität in Hagen, Fakultät für Mathematik und Informatik, 58084 Hagen, Germany
** TU Dortmund, Department of Computer Science, 44221 Dortmund, Germany
*** Universität Freiburg, Center for Cognitive Science, 79110 Freiburg, Germany
**** Hochschule Harz, Automation and Computer Sciences Department, 38855 Wernigerode, Germany

Table of Contents

Preface 1-2
Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg

Behaviorism Revisited: Linking Perception and Action Through Symbolic Models of Cognition 3-22
Pierre Bonzon
Unsupervised Text Annotation 23-30
Tanya Braun, Felix Kuhr, Ralf Möller
A Vision on Analysing Approaches for Knowledge Representation and Reasoning Using Computer Games 31-42
Christian Eichhorn, Vanessa Volz, Richard Niland, Tim Schendekehl
Pre-Selection in Cluster Lasso Methods for Correlated Variable Selection in High-Dimensional Linear Models 43-55
Niharika Gauraha, Swapan Parui
A New Combined Approach for Inference in High-Dimensional Regression Models with Correlated Variables 56-63
Niharika Gauraha, Swapan Parui
Deviation in Belief Change on Fragments of Propositional Logic 64-76
Adrian Haret, Stefan Woltran
Syllogistic Reasoning in Seven Spaces 77-88
Frieder Stolzenburg, Raimund Lüderitz

2017-09-20: submitted by Frieder Stolzenburg, metadata incl. bibliographic data published under Creative Commons CC0
2017-09-21: published on CEUR-WS.org |valid HTML5|