Vol-2194
urn:nbn:de:0074-2194-6

Copyright © 2018 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 2018
KI 2018 Workshop on Formal and Cognitive Reasoning

Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018)
co-located with 41st German Conference on Artificial Intelligence (KI 2018)

Berlin, Germany, September 25, 2018.

Edited by

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

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

Table of Contents

Invited Papers

Constructing, Weighing and Evaluating Arguments to Solve Wicked Problems 1-3
Thomas F. Gordon
Inductive Programming as Approach to Comprehensible Machine Learning 4-12
Ute Schmid

Regular Papers

Explorations into Belief State Compression 13-25
Ali Elhalawaty, Haythem Ismail
Towards a Unified Algebraic Framework for Non-Monotonicity 26-40
Nourhan Ehab, Haythem Ismail
Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events 41-54
Gavin Rens, Thomas Meyer
The Role of Knowledge in Intelligent Agents 55-67
Ingo J. Timm, Lukas Reuter
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies 68-79
Patrick Koopmann

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