[DL] [FCR 2025] CFP: 11th Workshop on Formal and Cognitive Reasoning

[Kai Sauerwald]

* Apologies if you receive multiple copies of this call *
==================================================================
======================== Call for Papers ==============================

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, 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 multi-agent systems
Analogical reasoning
Argumentation theories
Belief change and belief merging
Cognitive modelling 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://easychair.org/conferences/?conf=fcr2025
- 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.