Logic List Mailing Archive
CfP: [Deadline tomorrow!] FCR 2024: 10th Workshop on Formal and Cognitive Reasoning, 23 September 2024, Würzburg (Germany)
=========================
=========================
================
======================== Se
cond Call for Papers ==================
=====
10th Workshop on Formal and Cognitive Reasoning (FCR-2024)
https://fcr.krportal.org/2024/
Location: Wrzburg, Germany
Deadline for submission: July 01, 2024
Workshop: September 23, 2024
Co-located with the 47th German Conference on Artificial Intelligence (KI 2
024),
September 23-27, 2024, Wrzburg, Germany
=========================
=========================
================
Aims and Scope
----------------------
In real-life AI applications, information is usually pervaded by uncertaint
y and subject to change, and thus requires non-classical systems. At the sa
me time, psychological findings indicate that human reasoning cannot be com
pletely 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 defeasi
ble reasoning, possibly in combination with machine learning methods. The f
ield of knowledge representation and reasoning offers a rich palette of met
hods 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 d
ifferent 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 experime
ntal or heuristic issues. Previous events of the Workshop on "Formal and Co
gnitive Reasoning" and joint workshops took place in Dresden (2015), Bremen
(2016), Dortmund (2017), Berlin (2018), Kassel (2019), Bamberg (2020, onli
ne), Berlin (2021, online), Trier (2022, online) and Berlin (2023).
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
------------
Oliver Kutz, Free University of Bozen-Bolzano, Italy
Publication
---------------
The proceedings will be made available in the CEUR Workshop proceedings ser
ies.
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
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 01, 2024
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php