Workshop on:

Bridging the Gap between Human and Automated Reasoning

located at CADE-25

Berlin, Germany, Aug 1, 2015

Call for Papers

Workshop Description

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

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

List of important dates

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
The EasyChair submission site is available at:


Proceedings of the workshop are available as CEUR workshop proceedings volume 1412 .

Program Committee/Organizers

Contact: Claudia Schon

Program Overview

Saturday August 1, room T.9/005

9:30 - 10:30 Welcome
Invited Talk:
Marco Ragni:
Three-levels of Analysis: Connecting cognitive theories of reasoning with empirical results and cognitive modeling
10:30 - 11:00 Coffee Break
11:00 - 12:30 Steffen Hölldobler:
Weak Completion Semantics and its Applications in Human Reasoning
Emanuelle-Anna Dietz:
A Computational Logic Approach to Syllogisms in Human Reasoning
12:30 - 14:00 Lunch Break
14:00 - 15:30 Alexandra Varga, Keith Stenning and Laura Martignon:
There is no one logic to model human reasoning: the case from interpretation
Ulrich Furbach, Andrew S. Gordon and Claudia Schon:
Tackling Benchmark Problems of Commonsense Reasoning
15:30 - 16:00 Coffee Break
16:00 - 17:30 Bernhard Beckert and Sarah Grebing:
Interactive Theorem Proving -- modelling the user in the proof process
Discussions and closing