CfP: Workshop "Higher-Level Cognition and Computation"

KIK - "KI und Kognition" Workshop Series Stuttgart, 23-Sep-2014

Workshop "Higher-Level Cognition and Computation"
KIK - "KI und Kognition" Workshop Series
Stuttgart, 23-Sep-2014

        -- Call for Papers --

<http://imodspace.iig.uni-freiburg.de/kik-ws/>

WORKSHOP DESCRIPTION

Human higher-level cognition is a multi-faceted and complex area of thinking
which includes the mental processes of reasoning, decision making, creativity,
and learning among others. Logic, understood as a normative theory of thinking,
has a widespread and pervasive effect on the foundations of cognitive science.
However, human reasoning cannot be completely described by logical systems.
Sources of explanations are incomplete knowledge, incorrect beliefs, or
inconsistencies. Still, humans have an impressive ability to derive satisficing,
acceptable conclusions. Generally, people employ both inductive and deductive
reasoning to arrive at beliefs; but the same argument that is inductively strong
or powerful may be deductively invalid. Therefore, a wide range of reasoning
mechanism has to be considered, such as analogical or defeasible reasoning.

This workshop aims at bringing together researchers from Artificial
Intelligence, Automated Deduction, Computer Science, Cognitive Psychology,
Philosophy, and related areas to foster a multi-disciplinary exchange between
research in higher-level cognition and computation. Topics of interest include,
but are not limited to the following:

* analogical reasoning
* common sense and defeasible reasoning
* deductive calculi for higher-level cognition
* inductive reasoning and cognition
* preferred mental models and their formalization
* probabilistic approaches of reasoning

This workshop continues a series of successful workshops initiated by the
Special Interest Group "Cognition" in the GI (German Informatics Society)
<http://imodspace.iig.uni- freiburg.de/FachgruppeKognition/> and will be held in
conjunction with KI 2014 <http://www.ki2014.de/> in Stuttgart.

LIST OF IMPORTANT DATES

* Submission deadline: 01-Jul-2014
* Notification: 01-Aug-2014
* Camera-ready copy: 15-Aug-2014
* Workshop: 23-Sep-2014, 13:30-17:00, R.9.12, U Stuttgart

SUBMISSION AND CONTRIBUTION FORMAT

The workshop will be held in English, in order to attract an international
audience. Each presenter is required to submit a paper (4-10 pages) on the
presented topic formatted with the Springer LaTeX package for journals
(<http://static.springer.com/sgw/documents/468198/application/zip/LaTeX.zip >).
The agenda of the workshop will leave enough room for discussions. So each talk
will be followed by a discussion period of 10 minutes. Papers are subject to
regular peer review. Submissions should be sent as pdf file to
<fstolzenburg@hs-harz.de>.

PROCEEDINGS

The workshop proceedings will be published electronically as a technical report
in the SFB/TR8 reports series
<http://www.sfbtr8.spatial-cognition.de/en/publications/sfbtr-8-reports/> (to be
confirmed). The report will be available at the workshop date.

After the workshop, there will be a special issue of the German AI journal "KI"
<http://www.kuenstliche-intelligenz.de/> devoted to the workshop topic,
appearing in autumn 2015. There will be an open call to this special issue on
"Higher-Level Cognition and Computation". All contributors of the workshop are
particularly encouraged to submit their papers.

ORGANIZERS

Marco Ragni
University of Freiburg
ragni@cognition.uni-freiburg.de
http://portal.uni-freiburg.de/cognition/members/ragni

Frieder Stolzenburg
Harz University of Applied Sciences
fstolzenburg@hs-harz.de
http://fstolzenburg.hs-harz.de/

FURTHER INFORMATION

<http://imodspace.iig.uni-freiburg.de/kik-ws/>