Logic List Mailing Archive
"Higher-Level Cognition and Computation", Stuttgart (Germany) 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/>
--
Prof. Dr. Frieder Stolzenburg
Hochschule Harz (Harz University of Applied Sciences)
FB Automatisierung und Informatik (Automation & Computer Sciences Dep.)
Friedrichstr. 57-59
D-38855 Wernigerode (Germany)
Raum (Office): 2.008
Tel: +49 3943 659-333
Fax: +49 3943 659-399
Skype: fstolzenburg
E-Mail: fstolzenburg@hs-harz.de
WWW: http://www.hs-harz.de/fstolzenburg