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|