Logic List Mailing Archive

CfP special issue of JAL on Formal & Cognitive Reasoning, Deadline: 28 Feb 2022

2nd Call for Papers

Special Issue of
Journal of Applied Logics (IfCoLog Journal of Logics and their Applications)
on "Formal and Cognitive Reasoning"
Submission Deadline: 28-Feb-2022

We invite authors to submit papers for a Special Issue on "Formal and Cognitive
Reasoning" to be published in the Journal of Applied Logics (IfCoLog Journal of
Logics and Their Applications, College Publications). In September 2021, the
7th Workshop on Formal and Cognitive Reasoning (FCR-2021,
<https://www.fernuni-hagen.de/wbs/fcr2021.html>) took place. In the special
issue, original contributions on the basis of the best contributions presented
at the workshop will be published, and we also welcome contributions from other

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

Submission Guidelines
The Journal of Applied Logics is a peer-reviewed journal, and each submitted
paper will be subject to the usual review procedure for the JAL journal which
will be organized by the guest editors of the special issue. Submissions should
be prepared using the IfColog LaTeX style (available at
<https://www.fernuni-hagen.de/wbs/data/IFCoLogClass.zip>) and should be send to
the guest editors by email. The deadline for the submission of contributions is

Guest Editors
Christoph Beierle     <christoph.beierle@fernuni-hagen.de>
Marco Ragni           <marco.ragni@hsw.tu-chemnitz.de>
Frieder Stolzenburg   <fstolzenburg@hs-harz.de>
Matthias Thimm        <matthias.thimm@fernuni-hagen.de>
[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