| Vol-1444 urn:nbn:de:0074-1444-1 Copyright © 2015 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 2015
KI 2015 Workshop on Formal and Cognitive Reasoning

### Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015)
co-located with 38th German Conference on Artificial Intelligence (KI-2015)

### Dresden, Germany, September 22, 2015.

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, 79098 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
- Shaping the Dynamics of Recurrent Neural Networks by Conceptors (invited talk) 3
  Herbert Jaeger
- Human Reasoning, Logic Programs, and Connectionist Systems (invited talk) 4
  Steffen Hölldobler
- Learning Rules for Cooperative Solving of Spatio-Temporal Problems 5-15
  Daan Apeldoorn
- Qualitative Probabilistic Inference with Default Inheritance 16-28
  Paul Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz
- Algebraic Semantics for Graded Propositions 29-42
  Haythem O. Ismail, Nourhan Ehab
- On the Functional Completeness of Argumentation Semantics 43-54
  Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran
- Approximate Reasoning with Fuzzy-Syllogistic Systems 55-62
  Bora I Kumova

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

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