FCR-2021:

7th Workshop on Formal and Cognitive Reasoning

Workshop at the

44th German Conference on Artificial Intelligence (KI-2021)

September 27 - October 1, 2021: Berlin, 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 28, 2021

09:00 - 10:00 Invited Talk

From Belief Revision to Belief Manipulation -- Exploratory Thoughts
Abhaya Nayak

10:00 - 10:30 Session 1

Counter Model Transformation For Explaining Non-Subsumption in EL
Christian Alrabbaa, Willi Hieke and Anni-Yasmin Turhan

10:30 -11:00 Coffee

11:00 - 12:30 Session 2

The Weak Completion Semantics and Counter Examples
Meghna Bhadra and Steffen Hölldobler
Deductive vs. Inductive Instructions: Evaluating the Predictive Powers of Cognitive Models for Conditional Reasoning
Sara Todorovikj and Marco Ragni
A Brief Introduction Into Activation-Based Conditional Inference
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald and Christoph Beierle

12:30 -14:00 Lunch

14:00 - 15:30 Session 3

On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders
Jonas Philipp Haldimann and Gabriele Kern-Isberner
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics -- Preliminary Report
Faiq Miftakhul Falakh, Sebastian Rudolph and Kai Sauerwald
On Using Model Checking for the Certification of Iterated Belief Changes
Kai Sauerwald and Philip Heltweg

Last modified 2021-09-24