2017 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 the Gap between Human and
Proceedings of the Workshop on Bridging the Gap between Human and
Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017)
London, UK, July 26, 2017.
* University of Koblenz-Landau,
Institute for Web Science and Technologies, 56070 Koblenz, Germany
** University of Koblenz-Landau,
Institute for Computer Science, 56070 Koblenz, Germany
Table of Contents
The whole proceedings can also be downloaded as a single file
(PDF, including title pages, preface, and table of contents).
2017-11-15: submitted by Claudia Schon,
metadata incl. bibliographic data published under Creative Commons CC0
2017-11-15: published on CEUR-WS.org