| Vol-1651 urn:nbn:de:0074-1651-0 Copyright © 2016 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 2016
Bridging the Gap between Human and Automated Reasoning 2016

### Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning
co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)

### New York, USA, July 9, 2016.

Edited by

### Claudia Schon
Ulrich Furbach

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

## Table of Contents

- Preface

- Automating Human Inference (invited paper) 1
  Sangeet Khemlani
- Syllogistic Reasoning under the Weak Completion Semantics 5-19
  Ana Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
- Relating Strong Spatial Cognition to Symbolic Problem Solving — An Example 20-27
  Ulrich Furbach, Florian Furbach, Christian Freksa
- Crowdsourcing Theorem Proving via Natural Games 28-42
  Naveen Sundar Govindarajulu, Selmer Bringsjord
- Argumentation: Reconciling Human and Automated Reasoning 43-60
  Antonis Kakas, Loizos Michael, Francesca Toni
- Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis 61-73
  Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler
- Commonsense Reasoning Meets Theorem Proving 74-85
  Ulrich Furbach, Claudia Schon
- Natural Vision and Mathematics: Seeing Impossibilities 86-101
  Aaron Sloman

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

2016-08-02: submitted by Claudia Schon, metadata incl. bibliographic data published under Creative Commons CC0
2016-08-03: published on CEUR-WS.org |valid HTML5|