<!DOCTYPE html>
<!-- CEURVERSION=2015-12-02 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-1994 - Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a
Foundation for Human Reasoning?</title>
</head>
<!--CEURLANG=eng -->
<body>


<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">

<span class="CEURVOLNR">Vol-1994</span> <br>
<span class="CEURURN">urn:nbn:de:0074-1994-5</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 
<span class="CEURPUBYEAR">2017</span> for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="http://ratiolog.uni-koblenz.de/bridging2017.html"><span class="CEURVOLACRONYM">Bridging 2017</span></a><br>
<span class="CEURVOLTITLE">Bridging the Gap between Human and
Automated Reasoning</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the Workshop on Bridging the Gap between Human and
Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?</span><br>

co-located with 39th Annual Meeting of the Cognitive Science Society (<span class="CEURCOLOCATED">CogSci 2017</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">London, UK, July 26, 2017</span>.</h3> 
<br>
<b> Edited by </b>
<p>


</p><h3>
   <a href="https://userpages.uni-koblenz.de/~obermaie/"><span
class="CEURVOLEDITOR">Claudia Schon</span></a> *<br>
   <a href="https://userpages.uni-koblenz.de/~uli/"><span class="CEURVOLEDITOR">Ulrich Furbach</span></a> **<br>

</h3>

* <a href="https://www.uni-koblenz-landau.de/en/">University of Koblenz-Landau</a>,
  Institute for Web Science and Technologies, 56070 Koblenz, Germany
<br>
** <a href="https://www.uni-koblenz-landau.de/en/">University of Koblenz-Landau</a>,
  Institute for Computer Science, 56070 Koblenz, Germany<br>
  <br>

<hr>

<br><br><br>


<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li id="preface">
<A href="preface.pdf">Preface</A><BR><BR>
</li>
</ul>



<ul>

<li id="Bridging2017_paper1"><a href="Bridging2017_paper1.pdf">
<span class="CEURTITLE">Predicting Responses of Individual Reasoners in Syllogistic Reasoning by
using Collaborative Filtering</span></a> 
<span class="CEURPAGES">1</span> <br>
<span class="CEURAUTHOR">Ilir Kola</span>, 
<span class="CEURAUTHOR">Marco Ragni</span>
</li>

<li id="Bridging2017_paper2"><a href="Bridging2017_paper2.pdf">
<span class="CEURTITLE">The Search for Cognitive Models: Standards and Challenges</span></a>
<span class="CEURPAGES">10-17</span> <br>
<span class="CEURAUTHOR">Marco Ragni</span>, 
<span class="CEURAUTHOR">Nicolas Riesterer</span>
</li>

<li id="Bridging2017_paper3"><a href="Bridging2017_paper3.pdf">
<span class="CEURTITLE">The Weak Completion Semantics</span></a>
<span class="CEURPAGES">18-30</span> <br>
<span class="CEURAUTHOR">Emmanuelle-Anna Dietz Saldanha</span>, 
<span class="CEURAUTHOR">Steffen H&ouml;lldobler</span>,
<span class="CEURAUTHOR">Isabelly Lour&ecirc;do Rocha</span>
</li>

<li id="Bridging2017_paper4"><a href="Bridging2017_paper4.pdf">
<span class="CEURTITLE">Informalizing Formal Logic</span></a>
<span class="CEURPAGES">31-38</span> <br>
<span class="CEURAUTHOR">Antonis Kakas</span>
</li>

<li id="Bridging2017_paper5"><a href="Bridging2017_paper5.pdf">
<span class="CEURTITLE">Agent Morality via Counterfactuals in Logic Programming</span></a>
<span class="CEURPAGES">39-53</span> <br>
<span class="CEURAUTHOR">Lu&iacute;s Moniz Pereira</span>, 
<span class="CEURAUTHOR">Ari Saptawijaya</span>
</li>

<li id="Bridging2017_paper6"><a href="Bridging2017_paper6.pdf">
<span class="CEURTITLE">Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning</span></a>
<span class="CEURPAGES">54-68</span> <br>
<span class="CEURAUTHOR">Ana-Maria Olte&tcedil;eanu</span>
</li>

<li id="Bridging2017_paper7"><a href="Bridging2017_paper7.pdf">
<span class="CEURTITLE">Principles and Clusters in Human Syllogistic Reasoning</span></a>
<span class="CEURPAGES">69-83</span> <br>
<span class="CEURAUTHOR">Emmanuelle-Anna Dietz Saldanha</span>,
<span class="CEURAUTHOR">Steffen H&ouml;lldobler</span>,
<span class="CEURAUTHOR">Richard M&ouml;rbitz</span>
</li>


</ul>
The whole proceedings can also be downloaded as a <A href="http://ratiolog.uni-koblenz.de/proceedings2017.pdf">single file</A> (PDF, including title pages, preface, and table of contents).<BR><BR>





</div>


<hr>
<span class="unobtrusive">
2017-11-15: submitted by Claudia Schon,
            metadata incl. bibliographic data published under <A HREF="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2017-11-15</span>: published on CEUR-WS.org 
	|<A HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-1994%2F">valid HTML5</A>|
</span>
</body></html>
