CFP Bridging 2015

[Claudia Schon]

CALL FOR PAPERS
[Apologies if you receive multiple copies of this announcement]
[Please kindly help forward it to potentially interested attendees]

Workshop on: 
Bridging the Gap between Human and Automated Reasoning
located at CADE-25, Berlin, Germany, Aug 1, 2015
http://ratiolog.uni-koblenz.de/bridging.html

Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.

This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following:

- limits and differences between automated and human reasoning
- psychology of deduction
- common sense reasoning
- logics modeling human cognition
- modeling human reasoning using automated reasoning systems
- non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning
- application fields of automated reasoning in the interaction with human reasoners

The workshop will be held in conjunction with CADE-25.


IMPORTANT DATES
Submission deadline: May 1, 2015
Notification: May 22, 2015
Final Submission: June 5, 2015
Workshop: Aug 1, 2015


SUBMISSION AND CONTRIBUTION FORMAT
Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. 
The EasyChair submission site is available at:
https://easychair.org/conferences/?conf=bridging15.


PROGRAM COMITTEE/ORGANIZERS
Ulrich Furbach, University of Koblenz
Steffen Hölldobler, University of Dresden
Gabriele Kern-Isberner, TU Dortmund University
Kai-Uwe Kuehnberger, University of Osnabrück
Marco Ragni, University of Freiburg
Claudia Schon, University of Koblenz
Natarajan Shankar, SRI International
Keith Stenning, Edinburgh University
Frieder Stolzenburg, Harz University of Applied Sciences
Contact: Claudia Schon schon at uni-koblenz.de