Vol-2960⫷ Vol-2961 ⫸Vol-2962
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 |