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 **
Kai Sauerwald *
Frieder Stolzenburg ***
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|