FCR-2022: 8th Workshop on Formal and Cognitive Reasoning Workshop at the 45th German Conference on Artificial Intelligence (KI-2022) September 19 - September 23, 2022: Virtual in Trier 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 19, 2022

09:00 - 10:00   Invited Talk  

• Improvements of Iterated Belief Revision
  Sébastien Konieczny (CNRS - CRIL)

10:00 - 10:30   Session 1

• Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report)
  Jandson S. Ribeiro

11:00 - 12:30   Session 2

• On Contextual Programs Under Three-Valued Łukasiewicz Logic
  Islam Hamada
• Public Announcements for Intuitionistic Epistemic Logic IEL
  Alexandra Pavlova
• A Goodman-style Betweenness Relation on Orthoframes
  Mena Leemhuis and Özgür Lütfü Özcep

14:00 - 15:00   Session 3

• Lattice Theoretical Analysis of Dung-style AFs – Information and Reachability Order
  Ringo Baumann and Christopher Harmen Penndorf
• From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration
  Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, and Daniele Theseider Dupre

15:30 - 17:00   Session 4

• Utilizing Expert Knowledge to Support Medical Emergency Call Handling
  Carsten Maletzki, Eric Rietzke, and Ralph Bergmann
• User-aware Explications of Ontology Consequences: Levelling Technicality
  Rafael Peñaloza and Anni-Yasmin Turhan
• Formalizing cognitive biases in diagnostic reasoning
  Dominik Battefeld and Stefan Kopp

Last modified 2022-09-07