CfP: KI Special Issue "Cognitive Reasoning" - Deadline Extended to 15-Dec-2018

[Frieder Stolzenburg]

Künstliche Intelligenz Journal

Special Issue on "Cognitive Reasoning"

-- Call for Papers --

<http://www.kuenstliche-intelligenz.de/en/ki-journal/>

*** Submission deadline extended to 15-Dec-2018 ***


Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are many findings which are based on experimental data about human reasoning tasks. Among others,models for the Wason selection task or the suppression task are discussed by psychologists and cognitive scientists. However, only few of these models are computational and often models are modified when applied to a different task.

Automated deduction, on the other hand, mainly focuses on the automated proof search in formal, logical calculi. Indeed, there is tremendous success during the last decades, and automated deduction systems are used in many industrial applications. However, most automated deduction systems are not really concerned with human reasoning tasks.

Recently, a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example, there is increasing interest in modeling human reasoning tasks within automated reasoning systems based on answer set programming, deontic logic, abductive logic programming, and various other AI approaches.

This special issue of the Künstliche Intelligenz Journal, appearing in August 2019, is aiming to foster the synergies between cognitive science and automated deduction. The topics of interest for the special issue of the Künstliche Intelligenz Journal include, but are not limitedto:

* Limits and differences between automated deduction and human reasoning
* Automated deduction and the psychology of deduction
* Automated deduction and (preferred) mental models
* Common sense reasoning, cognitive science and automated deduction
* Modeling human reasoning tasks using (classical, non-monotonic or defeasible) logics
* Modeling human reasoning tasks using automated reasoning systems
* Modeling human reasoning tasks using inductive reasoning systems
* Modeling human reasoning tasks using probabilistic reasoning systems
* Applications


SUBMISSION

The Künstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors:

Prof. Dr. Ulrich Furbach
Universität Koblenz-Landau
Universitätsstr.1,
56070 Koblenz. Germany
uli at furbach.de

Prof. Dr. Steffen Hölldobler
TU Dresden
Fakultät Informatik
01062 Dresden
sh at iccl.tu-dresden.de

apl. Prof. Dr. Marco Ragni
University of Freiburg
Cognitive Computation Lab
79110 Freiburg, Germany
ragni at cs.uni-freiburg.de

Prof. Dr. Frieder Stolzenburg
Harz University of Applied Sciences
Automation & Computer Sciences Dep.
Friedrichstr. 57-59
38855 Wernigerode, Germany
fstolzenburg at hs-harz.de


IMPORTANT DATES

* Submission deadline: 15-Dec-2018 (extended)
* Notification: 01-Feb-2019
* Camera-ready copy: 15-Mar-2019
* Special issue: KI 3/2019


SUBMISSION AND CONTRIBUTION FORMAT

The articles should be written in English, in order to attract an international audience, formatted with the Springer LaTeX package for journals, see <http://www.editorialmanager.com/kuin/redirectToBanner.aspx?defaultTarget=AuthInstr.html>, maximally 10 pages in two-column format. Please submit via the editorial manager system <http://kuin.edmgr.com/>. Log in as author and select the special issue "S.I.: Cognitive Reasoning".