| Vol-1412 urn:nbn:de:0074-1412-3 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# Bridging 2015
Bridging the Gap between Human and Automated Reasoning

### Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning
A workshop of the 25th International Conference on Automated Deduction (CADE-25)

### Berlin, Germany, August 1, 2015.

Edited by

### Ulrich Furbach *
Claudia Schon *

* Universität Koblenz-Landau, Institut für Informatik, Arbeitsgruppe Künstliche Intelligenz, 56070 Koblenz, Germany

## Table of Contents

- Preface
- Three-levels of Analysis: Connecting Cognitive Theories of Reasoning with Empirical Results and Cognitive Modelin (invited paper) 1
  Marco Ragni
- Weak Completion Semantics and its Applications in Human Reasoning 2-16
  Steffen Hölldobler
- A Computational Logic Approach to Syllogisms in Human Reasoning 17-31
  Emanuelle-Anna Dietz
- There is no one Logic to Model Human Reasoning: the Case from Interpretation 32-46
  Alexandra Varga, Keith Stenning, Laura Martignon
- Tackling Benchmark Problems of Commonsense Reasoning 47-59
  Ulrich Furbach, Andrew S. Gordon, Claudia Schon
- Interactive Theorem Proving - Modelling the User in the Proof Process 60-73
  Bernhard Beckert, Sarah Grebing

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

2015-07-24: submitted by Claudia Schon, metadata incl. bibliographic data published under Creative Commons CC0
2015-07-27: published on CEUR-WS.org |valid HTML5|