FCR-2024

10th Workshop on Formal and Cognitive Reasoning

Workshop at the 47th German Conference on Artificial Intelligence (KI-2024)
September 23 - September 27, 2024: Würzburg, Germany
Organized by the SIG Knowledge Representation and Reasoning and SIG Cognition of the GI

Program: September 23, 2024

9:00 - 10:30   Session 1  

• Modeling of individual Naturalistic Decision Making in a cognitive architecture
  Maximilian Plitt and Nele Russwinkel
• Logic and psychology: A couple of case studies
  Torben Braüner
• Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning
  Claudia Schon

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

11:00 - 12:30   Session 2

• Invited Talk
  The Perceptron and the Tooth: A New family of logics for cognitive modelling
  Oliver Kutz, Free University of Bozen-Bolzano, Italy
• Embedding Temporal Description Logic Ontologies by Cone-based Geometric Models
  Mena Leemhuis

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

14:00 - 15:00   Session 3

• On computational problems for infinite argumentation frameworks: Hardness of finding acceptable extensions
  Uri Andrews and Luca San Mauro
• Modal Categorical Inferences in Quarc
  Simon Vonlanthen and Matteo Pascucci

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

Last modified 2024-05-13