FCR-2020:

6th Workshop on Formal and Cognitive Reasoning

Workshop at the

43rd German Conference on Artificial Intelligence (KI-2020)

September 21-25, 2020, Bamberg, Germany

Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI

[ Call for Papers ] [ Committee ] [ Dates ] [ Submission ] [ Program ] [ Local Information ]

Program: September 22, 2020

08:30 - 09:20 Invited Talk

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

09:20 - 10:35 Session 1

GLIF: A Declarative Framework for Symbolic Natural Language Understanding
Jan Frederik Schaefer, Michael Kohlhase
Consciousness and Automated Reasoning
Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach
Reasoning with Artificial Mental States: An Algebraic Approach
Nourhan Ehab, Haythem Ismail

10:35 -11:00 Virtual coffee break

11:00 - 12:15 Session 2

A Bimodal Simulation of Defeasibility in the Normative Domain
Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov Gabbay
On the Joint Revision of Belief and Trust
Ammar Yasser, Haythem Ismail
Towards Model Transformation in Description Logics - Investigating the Case of Transductions
Willi Hieke, Anni-Yasmin Turhan

Last modified 2020-09-14