| 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

- Preface
- Organization

### 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|