Vol-2679⫷ Vol-2680 ⫸Vol-2681
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 |