| Vol-3242 urn:nbn:de:0074-3242-3 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# FCR 2022
Formal and Cognitive Reasoning 2022

### Proceedings of the 8th Workshop on Formal and Cognitive Reasoning
co-located with the 45th German Conference on Artificial Intelligence (KI 2022)

### Virtual Event, Trier, Germany, September 19, 2022.

Edited by

### Christoph Beierle *
Marco Ragni **
Frieder Stolzenburg ***
Kai Sauerwald *
Matthias Thimm *

* FernUniversität in Hagen, Germany
** Technische Universität Chemnitz, Germany
*** Hochschule Harz, Germany

## Table of Contents

- Preface

### Invited Talk

- On Iterated Belief Revision
  Sébastien Konieczny

### Accepted Papers

- Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report) 4-15
  Jandson S. Ribeiro
- On Contextual Programs Under Three-Valued Łukasiewicz Logic 16-28
  Islam Hamada
- Public Announcements for Intuitionistic Epistemic Logic IEL 29-40
  Alexandra Pavlova
- A Goodman-style Betweenness Relation on Orthoframes 41-52
  Mena Leemhuis, Özgür Lütfü Özcep
- Lattice Theoretical Analysis of Dung-style AFs – Information and Reachability Order 53-65
  Ringo Baumann, Christopher Harmen Penndorf
- From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration 66-78
  Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupre
- Utilizing Expert Knowledge to Support Medical Emergency Call Handling 79-89
  Carsten Maletzki, Eric Rietzke, Ralph Bergmann
- User-aware Explications of Ontology Consequences: Levelling Technicality 90-101
  Rafael Peñaloza, Anni-Yasmin Turhan
- Formalizing Cognitive Biases in Diagnostic Reasoning 102-118
  Dominik Battefeld, Stefan Kopp

2022-09-19: submitted by Kai Sauerwald, metadata incl. bibliographic data published under Creative Commons CC0
2022-10-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|