Vol-1994
urn:nbn:de:0074-1994-5

Copyright © 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 2017
Bridging the Gap between Human and Automated Reasoning

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.

Edited by

Claudia Schon *
Ulrich Furbach **

* 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

Preface

Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering 1
Ilir Kola, Marco Ragni
The Search for Cognitive Models: Standards and Challenges 10-17
Marco Ragni, Nicolas Riesterer
The Weak Completion Semantics 18-30
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha
Informalizing Formal Logic 31-38
Antonis Kakas
Agent Morality via Counterfactuals in Logic Programming 39-53
Luís Moniz Pereira, Ari Saptawijaya
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning 54-68
Ana-Maria Olteţeanu
Principles and Clusters in Human Syllogistic Reasoning 69-83
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
Satisfiability for First-order Logic as a Non-Modal Deontic Logic 84-90
Robert Kowalski

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 |valid HTML5|