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
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.
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:The program is available here: program.
The proceedings will be made available in the CEUR Workshop Proceedings series. Now available: CEUR Workshop Proceedings, Vol. 3763.
| Ö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 |
| 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 |
| Deadline for Submission: | July 14, 2024 (extended) |
| Notification of Authors: | August 16, 2024 |
| Camera-ready Paper: | September 1, 2024 |
| Workshop: | September 23, 2024 |
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 can be found on the web pages of the KI-2024 conference.
Last modified 2024-05-13