KI 2012 Workshop on Human Reasoning and Automated Deduction: Call for Papers

[Frieder Stolzenburg]

[Please excuse multiple postings]

CALL FOR PAPERS
================
KI 2012 Workshop on Human Reasoning and Automated Deduction

        http://imodspace.iig.uni-freiburg.de/kik

KIK -- KI & Kognition Workshop Series

--------
List of important dates

Submission deadline: July 9, 2012
Notification: August 10, 2012
Camera-ready copy: August 24, 2012
Workshop: September 24, 2012

--------
Description of workshop topic and goal

Automated deduction aims at formalizing diverse aspects of reasoning and has many application areas from software verification to mathematical theorem proving. It is originally based on algorithmic methods derived from mathematical logics. In contrast, 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 acceptable conclusions. From the very beginning of AI research, there has been a strong emphasis on incorporating mechanisms of human rationality and cognition into reasoning systems.

The workshop aims at bringing together researchers from AI, Automated Deduction, and Cognitive Science to foster a multi-disciplinary exchange and to discuss possibilities to overcome the historic separation. Topics of interest include, but are not limited to the following:

- Non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning
- Limits and differences between automated and human reasoning
- Application fields of automated reasoning in the interaction with human reasoners (e.g., in spatial knowledge processing)
- Human-computer interaction and cognitive robotics (regarding the relevance for reasoning methods)

This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI.

--------
Submission Details

Papers should be formatted according to the Springer LNCS guidelines (ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). The length of each paper should be 4 to 8 pages. All papers must be written in English and submitted in pdf format. Submissions should be sent in electronic form to fstolzenburg at hs-harz.de <mailto:fstolzenburg at hs-harz.de>.

--------
Organizers

Thomas Barkowsky, University of Bremen
barkowsky at sfbtr8.uni-bremen.de <mailto:barkowsky at sfbtr8.uni-bremen.de>
http://cosy.informatik.uni-bremen.de/staff/thomas-barkowsky

Marco Ragni, University of Freiburg
ragni at cognition.uni-freiburg.de <mailto:ragni at cognition.uni-freiburg.de>
http://portal.uni-freiburg.de/cognition/members/ragni

Frieder Stolzenburg, Harz University of Applied Sciences
fstolzenburg at hs-harz.de <mailto:fstolzenburg at hs-harz.de>
http://fstolzenburg.hs-harz.de/

--------
Program committee

Ulrich Furbach, U Koblenz
Steffen Hölldobler, TU Dresden
Manfred Kerber, U Birmingham
Ute Schmid, TU Bamberg
Christoph Wernhard, TU Dresden
Bernhard Nebel, U Freiburg
Stefan Wölfl, U Freiburg
Further requests have been sent out to potential program committee members.

--------
Areas of AI

Automated Deduction and Cognitive Science
Knowledge Acquisition, Representation, Reasoning and Ontologies
Non-Monotonic Reasoning and Default Logics
Embodied AI: Robotics, Vision and Perception
Artificial General Intelligence
Cognitive Modeling, AI and Psychology

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20120417/4605d614/attachment.html>