INFORMATIK 2021

INFORMATIK 2021

W1 7th Workshop on Formal and Cognitive Reasoning (FCR-2021)
28.09.2021 , 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