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|