INFORMATIK 2021

W1 7th Workshop on Formal and Cognitive Reasoning (FCR-2021)
28.09, 09:00–15:30 (Europe/Berlin), KI: Room John McCarthy
Sprache: English

Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches, possibly in combination with machine learning methods. Therefore papers are solicited that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues.


Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm