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