Vol-2961
urn:nbn:de:0074-2961-2

Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 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 2021
Formal and Cognitive Reasoning 2021

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning
co-located with the 44th German Conference on Artificial Intelligence (KI 2021)

September 28, 2021.

Edited by

Christoph Beierle *
Marco Ragni
Frieder Stolzenburg *
Matthias Thimm *

* FernUniversität in Hagen, Germany
** Universität Freiburg, Germany
*** Hochschule Harz, Germany

Table of Contents

Preface

Keynote abstracts

From Belief Revision to Belief Manipulation - Exploratory Thoughts (Abstract) 3
Abhaya Nayak

Short Papers

A Brief Introduction Into Activation-Based Conditional Inference 4-8
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

Regular Papers

Counter Model Transformation for Explaining Non-Subsumption in EL 9-22
Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan
On Using Model Checking for the Certification of Iterated Belief Changes 23-33
Kai Sauerwald, Philip Heltweg
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders 34-47
Jonas Haldimann, Gabriele Kern-Isberner
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) 48-59
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
The Weak Completion Semantics and Counter Examples 60-73
Meghna Bhadra, Steffen Hölldobler
Deductive vs. Inductive Instructions: Evaluating the Predictive Powers of Cognitive Models for Conditional Reasoning 74-87
Sara Todorovikj, Marco Ragni

2021-09-27: submitted by Matthias Thimm, metadata incl. bibliographic data published under Creative Commons CC0
2021-10-02: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|