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|