=Paper=
{{Paper
|id=Vol-2961/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2961/preface.pdf
|volume=Vol-2961
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-2961/preface.pdf</pdf>
<pre>
  Proceedings of the 7th Workshop on Formal and Cognitive Reasoning




Preface
Aims and Scope of the Workshop

Information for real life AI applications is usually pervaded by uncertainty and
subject to change, and thus demands for nonclassical reasoning approaches. At
the same time, psychological findings indicate that human reasoning cannot be
completely described by classical logical systems. Sources of explanations are in-
complete knowledge, incorrect beliefs, or inconsistencies. A wide range of reason-
ing mechanism has to be considered, such as analogical or defeasible reasoning,
possibly in combination with machine learning methods. The field of knowl-
edge representation and reasoning o↵ers a rich palette of methods for uncertain
reasoning both to describe human reasoning and to model AI approaches.
    The aim of this series of workshops is to address recent challenges and to
present novel approaches to uncertain reasoning and belief change in their broad
senses, and in particular provide a forum for research work linking di↵erent
paradigms of reasoning. This year we welcomed especially contributions on in-
tersections between human and formal aspects such as computational thinking. A
special focus is on papers that provide a base for connecting formal-logical mod-
els of knowledge representation and cognitive models of reasoning and learning,
addressing formal and experimental or heuristic issues. Previous events of the
Workshop on Formal and Cognitive Reasoning took place in Dresden (2015), Bre-
men (2016), Dortmund (2017), Berlin (2018), Kassel (2019), and Bamberg/online
(2020).


Organization of the Workshop
As in the past, the workshop Formal and Cognitive Reasoning (FCR-2021) at
KI-2021, the 44th German Conference on Artificial Intelligence, was organized
jointly by the GI special interest groups Wissensrepräsentation und Schließen
and Kognition. The FCR workshop series emerged from two separate workshop
series, namely Dynamics of Knowledge and Belief (DKB) and KI & Kognition
(KIK).
    This volume contains the papers presented at the FCR-2021 workshop held
on 28-Sep-2021. The KI-2021 conference and all its workshops were expected
to take place in Berlin, Germany. However, because of the corona pandemic all
were turned into fully virtual events.
    Each FCR submission was reviewed by two program committee members.
The committee decided to accept seven papers for presentation. In consequence,
the workshop hosted contributions with diverse topics such as artificial mental
states, consciousness, cognitive models, conditionals, description logics, belief
revision, and defeasibility. We are grateful to Abhaya Nayak for enriching the
program by a very inspiring keynote talk.




 Copyright c 2021 for this paper by its authors. Use permitted under
 Creative Commons License Attribution 4.0 International (CC BY 4.0).

                                      1
                                  Preface



Acknowledgments
The organizers of this workshop would like to thank the organizers of the KI-
2021 conference for their support. We also would like to thank the members of
the program committee and the additional reviewers for their help in carefully
reviewing and selecting the submitted papers, and finally all participants of the
workshop for their contributions. Our wish is that new inspirations and collab-
orations between the contributing disciplines will emerge from this workshop.

        Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm



Workshop Organizers and Co-Chairs

Christoph Beierle                        FernUniversität in Hagen, Germany
Marco Ragni                              TU Chemnitz, Germany
Frieder Stolzenburg                      Hochschule Harz, Germany
Matthias Thimm                           FernUniversität in Hagen, Germany

Program Committee

Ringo Baumann                            Universität Leipzig, Germany
Christoph Benzmüller                    Freie Universität Berlin, Germany
François Bry                            Ludwig Maximilian University of
                                         Munich, Germany
Emmanuelle-Anna Dietz                    TU Dresden, Germany
Lupita Estefania Gazzo Castaneda         Universität Gießen, Germany
Haythem O. Ismail                        German University in Cairo, Egypt
Manfred Kerber                           University of Birmingham, UK
Gabriele Kern-Isberner                   TU Dortmund, Germany
Steven Kutsch                            inovex GmbH, Germany
Sylwia Polberg                           Cardi↵ University, UK
Nico Potyka                              Universität Stuttgart, Germany
Sebastian Rudolph                        TU Dresden, Germany
Ute Schmid                               Universität Bamberg, Germany
Claudia Schon                            Universität Koblenz-Landau, Germany
Christian Strasser                       Ruhr-University Bochum, Germany
Hans Tompits                             TU Wien, Austria
Anni-Yasmin Turhan                       TU Dresden, Germany
Christoph Wernhard                       TU Dresden, Germany
Stefan Woltran                           TU Wien, Austria

Additional Reviewers

Matti Berthold                           Universität Leipzig, Germany




                                     2

</pre>