FCR 2025: 11th Workshop on Formal and Cognitive Reasoning Potsdam, Germany, August 17, 2025 |
| Conference website | https://fcr.krportal.org/2025 |
| Submission link | https://easychair.org/conferences/?conf=fcr2025 |
| Submission deadline | July 4, 2025 |
11th Workshop on Formal and Cognitive Reasoning (FCR-2025)
Location: Potsdam, Germany
Deadline for submission: July 4th, 2025
Workshop: September 16, 2025
Co-located with the 48th German Conference on Artificial Intelligence (KI 2025),
September 16 or 17 (TBA), 2025, Potsdam, Germany
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, such as analogical or defeasible reasoning, have to be considered, 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.
This series of workshops aims 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
Learning and knowledge discovery in data
Neuro-symbolic AI
Nonmonotonic and uncertain reasoning
Ontologies and description logics
Probabilistic approaches of reasoning
Syllogistic reasoning
Keynote
Barabara Kaup, University of Tübingen, Germany
Workshop Organizers and Co-Chairs
Özgür Lütfü Özçep 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
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 and Publication Details
Long technical papers as well as short position papers and abstracts of published works are welcome.
Further submission details:
- 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://fcr.krportal.org/2025
- One of the authors is expected to participate in the workshop and present their paper.
Publication details:
- The accepted papers will be made available entirely to the workshop participants. As in previous years, we plan to release the informal workshop proceedings with CEUR.
- The authors may decide to include only an abstract of their paper (instead of their full paper) in the informal workshop proceedings available via CEUR. For that, a request must be posted to the workshop organizers shortly after the acceptance notification.