Logic List Mailing Archive

FCR 2022: Formal & Cognitive Reasoning

20 Sep 2022
Trier, Germany

========== Call for Papers ==============

8th Workshop on Formal and Cognitive Reasoning (FCR-2022)


co-located with the 45th German Conference on Artificial Intelligence
in Trier, Germany

Aims and Scope
Information for real-life AI applications is usually pervaded by uncertainty 
and subject to change, thus demands non-classical reasoning approaches. 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 

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), and 
Berlin (2021, online).

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
            Nonmonotonic and uncertain reasoning
            Ontologies and description logics
            Probabilistic approaches of reasoning
            Syllogistic reasoning

Invited Speaker
Sébastien Konieczny (CNRS - CRIL)

The proceedings will be published in the CEUR Workshop proceedings series. 
After the workshop, selected papers will be invited for publication in a GI-LNI 
workshop post-proceedings of the KI conference.

Workshop Organizers and Co-Chairs
Christoph Beierle      FernUniversität in Hagen, Germany
Marco Ragni            Chemnitz University of Technology, Germany
Kai Sauerwald          FernUniversität in Hagen, Germany
Frieder Stolzenburg    Hochschule Harz, Germany
Matthias Thimm         FernUniversität in Hagen, Germany

Important Dates
Deadline for Submission:    July 17, 2022
Notification of Authors:    August 18, 2022
Camera-ready Paper:         August 28, 2022
Workshop:                   September 20, 200 (to be confirmed)

Submission Details
Papers should be formatted according to the Springer LNCS format. 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.

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam