FCR-2025

11th Workshop on Formal and Cognitive Reasoning

Workshop at the 48th German Conference on Artificial Intelligence (KI-2025)
September 16 - September 19, 2025: Potsdam, 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), Berlin (2023), and Würzburg (2024).

We welcome papers on the following and any related topics:

Action and change
Agents and multiagent systems
Analogical reasoning
Argumentation theories
Belief change and belief merging
Cognitive modeling and empirical data
Common sense and defeasible reasoning
Computational thinking
Decision theory and preferences
Inductive reasoning and cognition
Knowledge representation in theory and practice
Formal and cognitives approaches to learning and knowledge discovery in data
Nonmonotonic and uncertain reasoning
Ontologies and description logics
Probabilistic approaches of reasoning
Syllogistic reasoning

Keynote

Speaker: Barabara Kaup, University of Tübingen, Germany

Publication

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

(to be completed)
Marcel Gehrke	University of Hamburg, Germany
Jean-Guy Mailly	Université Paris Cité, France
Ute Schmid	Universität Bamberg, Germany
Frieder Stolzenburg	Hochschule Harz, Germany
Johannes P. Wallner	Graz University of Technology, Austria

Important Dates

Deadline for Submission:	July 4, 2025
Notification of Authors:	August 16, 2025
Camera-ready Paper:	September 1, 2025
Workshop:	September 16, 2025

Submission Details

Submissions should present research results or summaries/abstracts of recent research results; we also permit the submission of position papers.

Papers should be formatted in CEUR style (1-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 is limited to 20 pages (including references and acknowledgements). All papers must be written in English and submitted in PDF format via the EasyChair system:

https://easychair.org/conferences/?conf=fcr2025
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-2025 conference. Notably, KI-2025 plans to offer child care during the conference jointly with the parallel Informatik FESTIVAL 2025.

Last modified 2025-04-12