Logic List Mailing Archive
CfP: FCR 2024: 10th Workshop on Formal and Cognitive Reasoning, 24 September 2024, Würzburg (Germany)
* Apologies if you receive multiple copies of this call *
=========================
=========================
================
======================== Ca
ll 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 24, 2024 (tentative)
Co-located with the 47th German Conference on Artificial Intelligence (KI 2
024),
September 23-27, 2024, W?rzburg, 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
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
Important Dates
----------------------
Deadline for Submission: July 01, 2024
Notification of Authors: August 16, 2024
Camera-ready Paper: September 01, 2024
Workshop: September 24, 2024 (tentative)
Submission Details
--------------------------
Papers should be formatted in CEUR style (2-column style) without enabled h
eader 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 pa
pers must be written in English and submitted in PDF format via the EasyCha
ir (https://easychair.org/conferences/?conf=ki2024) system. One of the au
thors is expected to participate in the workshop and present their paper.
--
PD Dr. rer. nat. habil. ?zg?r L. ?zcep
Institute of Humanities-Centered Artificial Intelligence (CHAI)
Universit?t Hamburg
Warburgstra?e 28
20354 Hamburg
E-Mail: oezguer.oezcep@uni-hamburg.de
Web: https://www.philosophie.uni-hamburg.de/chai/personen/oezcep.html
Phone: +49 40 42838 9651
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php