Logic List Mailing Archive

KIK Workshop "Higher-level cognition and computation"

23 Sep 2014
Stuttgart, Germany

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

 	-- 2nd 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: 18-Jul-2014
* Camera-ready copy: 31-Jul-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/>.
The report will be available at the workshop date.

After the workshop, there will be a special issue of the German AI journal "KI"
devoted to the workshop topic, appearing in autumn 2015. There is an open call to
this special issue on "Higher-Level Cognition and Computation", see
<http://www.kuenstliche-intelligenz.de/index.php?id=7800>. 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/


PROGRAM COMMITTEE

     Thomas Barkowsky, U Bremen
     Christian Freksa, U Bremen
     Ulrich Furbach, U Koblenz
     Kai Hamburger, U Gießen
     Markus Knauff, U Gießen
     Bernhard Nebel, U Freiburg
     Michael Raschke, U Stuttgart
     Ute Schmid, U Bamberg
     Stefan Wölfl, U Freiburg

-- 
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