Logic List Mailing Archive
CfP special issue of KI Journal on "Cognitive Reasoning", Deadline: 15 Dec 2018
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@furbach.de
Prof. Dr. Steffen Hölldobler
TU Dresden
Fakultät Informatik
01062 Dresden
sh@iccl.tu-dresden.de
apl. Prof. Dr. Marco Ragni
University of Freiburg
Cognitive Computation Lab
79110 Freiburg, Germany
ragni@cs.uni-freiburg.de
Prof. Dr. Frieder Stolzenburg
Harz University of Applied Sciences
Automation & Computer Sciences Dep.
Friedrichstr. 57-59
38855 Wernigerode, Germany
fstolzenburg@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".
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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