[loginf] KI 2012 Workshop on Human Reasoning and Automated Deduction: 2nd Call for Papers

Frieder Stolzenburg fstolzenburg at hs-harz.de
Tue Jun 26 11:45:44 UTC 2012

[Please excuse multiple postings]

KI 2012 Workshop on Human Reasoning and Automated Deduction


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


Thomas Barkowsky, University of Bremen
barkowsky at sfbtr8.uni-bremen.de <mailto:barkowsky at sfbtr8.uni-bremen.de>

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

Frieder Stolzenburg, Harz University of Applied Sciences
fstolzenburg at hs-harz.de <mailto:fstolzenburg at 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 Interest

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20120626/8ad5cae9/attachment.html>

More information about the loginf mailing list