Vol-3241⫷ Vol-3242 ⫸Vol-3243
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 |