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


Aims and Scope

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. 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 mechanisms 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.

Call for Papers

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. A special focus is on papers 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. Previous events of the Workshop on "Formal and Cognitive Reasoning" and joint workshops took place in Dresden (2015), Bremen (2016), Dortmund (2017), Berlin (2018), Kassel (2019), Bamberg (2020, online), Berlin (2021, online), Trier (2022, online), and Berlin (2023).

We welcome papers on the following and any related topics:


Speaker:   Oliver Kutz, Free University of Bozen-Bolzano, Italy


The proceedings will be made available in the CEUR Workshop Proceedings series.

Workshop Organizers and Co-Chairs

Özgür Lütfü Özcep Universität Hamburg, Germany
Nele Rußwinkel Universität zu Lübeck, Germany
Kai Sauerwald FernUniversität in Hagen, Germany
Diedrich Wolter Universität zu Lübeck, Germany

Program Committee

Theofanis Aravanis University of Peloponnese, Greece
Christoph Beierle FernUniversität in Hagen, Germany
Martin Butz University of Tübingen, Germany
Laura Giordano Universita del Piemonte Orientale, Italy
Maria Hedblom Jönköping University, Sweden
Haythem O. Ismail German University in Cairo, Egypt
Gabriele Kern-Isberner TU Dortmund, Germany
Mena Leemhuis Universität zu Lübeck, Germany
Jean-Guy Mailly Université Paris Cité, France
Rafael Penaloza Nyssen University of Milano-Bicocca, Italy
Ute Schmid Universität Bamberg, Germany
Claudia Schon Hochschule Trier, Germany
Frieder Stolzenburg Hochschule Harz, Germany
Matthias Thimm FernUniversität in Hagen, Germany
Markus Ulbricht University of Leipzig, Germany
Johannes P. Wallner Graz University of Technology, Austria
Christoph Wernhard Technische Universität Potsdam, Germany

Important Dates

Deadline for Submission: July 14, 2024 (extended)
Notification of Authors: August 16, 2024
Camera-ready Paper: September 1, 2024
Workshop: September 23, 2024

Submission Details

Papers should be formatted in CEUR style (2-column style) without enabled header and footer. The author kit can be found at http://ceur-ws.org/Vol-XXX/CEURART.zip. 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 (select the track "10th Workshop on Formal and Cognitive Reasoning"). One of the authors is expected to participate in the workshop and present their paper.

Local Information

Local information can be found on the web pages of the KI-2024 conference.

Last modified 2024-05-13