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ß, Ulrich Furbach, Claudia Schon
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|