FCR-2023: 9th Workshop on Formal and Cognitive Reasoning Workshop at the 46th German Conference on Artificial Intelligence (KI-2023) September 26 - September 29, 2023, in 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 26, 2023

10:00 - 11:00   Session 1  

• Bridging the Gap between Ranking-based Semantics and Extension-ranking Semantics
  Kenneth Skiba
• Ranking-based Semantics for Assumption-based Argumentation
  Kenneth Skiba, Matthias Thimm and Johannes P. Wallner

11:00 - 11:30 Coffebreak + Networking + Exhibition

11:30 - 12:30   Session 2

• Invited Talk:
  The Relevance of Formal Logics for Cognitive Logics, and Vice Versa
  Gabriele Kern-Isberner

12:30 - 14:00 Lunchbreak + Networking + Exhibition

14:00 - 15:30   Session 3

• Invited Talk:
  In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning
  Ulrich Furbach and Meghna Bhadra
• Analogical Proportions and Betweenness
  Mena Leemhuis and Özgür Lütfü Özcep

15:30 - 16:30 Coffebreak + Networking + Exhibition

16:30 - 17:00   Session 4

• An ontological modelling of prototype theories
  Daniele Porello, Guendalina Righetti, Nicolas Troquard, Roberto Confalonieri and Oliver Kutz

Last modified 2023-09-11