| Vol-2680 urn:nbn:de:0074-2680-0 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 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-2020
Formal and Cognitive Reasoning

### Proceedings of the 6th Workshop on Formal and Cognitive Reasoning
co-located with 43rd German Conference on Artificial Intelligence (KI-2020)

### Online / Bamberg, Germany, September 22, 2020.

Edited by

### Christoph Beierle *
Marco Ragni **
Frieder Stolzenburg ***
Matthias Thimm ****

* FernUniversität in Hagen, Germany
** SDU Kolding, Denmark
*** Hochschule Harz, Germany
**** Universität Koblenz-Landau, Germany

## Table of Contents

- Preface 1

### Invited Talk

- Deep FAIR - Knowledge Representation for Research Data about Complex Objects 3
  Michael Kohlhase

### Regular Contributions

- GLIF: A Declarative Framework for Symbolic Natural Language Understanding (short paper) 4-11
  Jan Frederik Schaefer, Michael Kohlhase
- Consciousness and Automated Reasoning 12-26
  Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach
- Reasoning with Artificial Mental States: An Algebraic Approach 27-40
  Nourhan Ehab, Haythem Ismail
- A Bimodal Simulation of Defeasibility in the Normative Domain 41-54
  Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov Gabbay
- On the Joint Revision of Belief and Trust 55-68
  Ammar Yasser, Haythem Ismail
- Towards Model Transformation in Description Logics - Investigating the Case of Transductions 69-82
  Willi Hieke, Anni-Yasmin Turhan

2020-09-16: submitted by Frieder Stolzenburg, metadata incl. bibliographic data published under Creative Commons CC0
2020-09-22: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|