6th Workshop on Formal and Cognitive Reasoning
Workshop at the
September 21-25, 2020, Bamberg, Germany
Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.
The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Formal and Cognitive Reasoning" took place in Dresden (2015), Bremen (2016), Dortmund (2017), Berlin (2018), and Kassel (2019).We welcome papers on the following and any related topics:
The proceedings will be published in the CEUR Workshop Proceedings series. We will also consider publishing a selection of extended papers in a special issue of an international journal.
|Christoph Beierle||FernUniversität in Hagen, Germany|
|Marco Ragni||Universität Freiburg, Germany|
|Frieder Stolzenburg||Hochschule Harz, Germany|
|Matthias Thimm||Universität Koblenz-Landau, Germany|
|Ringo Baumann||Universität Leipzig, Germany|
|Emmanuelle-Anna Dietz||TU Dresden, Germany|
|Ulrich Furbach||Universität Koblenz, Germany|
|Lupita Estefania Gazzo Castaneda||University of Giessen, Germany|
|Haythem O. Ismail||German University in Cairo, Egypt|
|Manfred Kerber||University of Birmingham, UK|
|Gabriele Kern-Isberner||TU Dortmund, Germany|
|Sylwia Polberg||Cardiff University, UK|
|Nico Potyka||Universität Osnabrück, Germany|
|Ute Schmid||Universität Bamberg, Germany|
|Claudia Schon||Universität Koblenz-Landau, Germany|
|Hans Tompits||TU Wien, Austria|
|Christoph Wernhard||Technische Universität Dresden, Germany|
|Stefan Woltran||TU Wien, Austria|
|Deadline for Submission:||June 30, 2020|
|Notification of Authors:||July 24, 2020|
|Camera-ready Paper:||August 23, 2020|
|Workshop:||September 22, 2020 (exact day to be confirmed)|
Papers should be formatted according to the Springer LNCS format. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system.
Local information can be found on the web pages of the KI-2020 conference.
Last modified 2020-06-03