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