<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">CALL FOR PAPERS<br class=""><br class=""><div style="text-align: left;" class="">Fourth International Workshop on</div><div style="text-align: left;" class="">Bridging the Gap between Human and Automated Reasoning</div><div style="text-align: left;" class=""><br class=""></div><div style="text-align: left;" class="">a FAIM workshop (supported by IFIP TC12) Stockholm, Sweden</div><br class="">Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge, and to gain new insights. Early work often used propositional logic as a normative framework, where any deviation from logic was considered an error. The desire to explain difficulty in human reasoning inspired a shift from propositional logic towards other modeling frameworks, such as probabilistic approaches, mental models, and non-monotonic logics. The central goal of these frameworks is to model human reasoning patterns.<div class=""><div class=""><br class="">Automated reasoning, on the other hand, is mainly focused on leveraging logical calculi to perform automated proof search. And indeed there is tremendous success in advancing both the calculi and the proof search machinery during the last several decades.</div><div class=""><br class="">Despite a common research interest - reasoning - the fields of automated deduction and the psychology of reasoning are disjoint. The present workshop's central goal is to foster better interdisciplinary research by connecting researchers in artificial intelligence, cognitive science, and cognitive psychology. The workshop aims to...</div></div><ul class=""><li class="">...develop a better understanding of methods, techniques, and approaches applied in both research fields.</li><li class="">...have a synopsis of the relevant state-of-the-art in both research directions.</li><li class="">...combine methods and techniques from both fields and find synergies.</li><li class="">...generate better experimental data that can be used to benchmark automated systems.</li><li class="">...advance cognitive theories through computational modeling.</li></ul><div class=""><div class="">The workshop will explore how both fields - human and automated reasoning - can contribute to these milestones and are in fact a conditio sine qua non. Achievements in both fields can inform the others. Deviations between fields can inspire researchers to seek a new and profound understanding of the nature of reasoning. Topics of interest include, but are not limited to the following:</div><div class=""><ul class=""><li class="">benchmark problems relevant in both fields</li><li class="">approaches to tackle Benchmark problems like the Winograd Schema Challenge or the COPA challenge</li><li class="">limits and differences between automated and human reasoning</li><li class="">psychology of deduction and common sense reasoning</li><li class="">logics modeling human reasoning</li><li class="">non-monotonic, defeasible, and classical reasoning</li></ul>The workshop is part of the FAIM workshop program located at the Federated Artificial Intelligence Meeting (FAIM) which includes the major conferences IJCAI, ECAI, ICML, AAMAS, ICCBR and SoCS. The Bridging workshop is supported by IFIP TC12. This is the fourth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops.<br class=""><br class="">IMPORTANT DATES<br class="">Full Paper submission deadline:<span class="Apple-tab-span" style="white-space:pre"> </span><b class="">25th of April, 2018</b><br class="">Notification: <b class="">3rd of June, 2018 </b><br class="">Final submission: <b class="">17th of June, 2018 </b><br class="">Workshop: <b class="">July 2018</b><br class=""><br class="">SUBMISSION AND CONTRIBUTION FORMAT<br class="">Papers, including the description of work in progress are welcome and should be formatted according to IJCAI guidelines. The length should not exceed 6 pages excluding references. All papers must be submitted in PDF. Formatting instructions and the style files can be obtained <a href="http://www.ijcai.org/authors_kit" class="">http://www.ijcai.org/authors_kit</a>. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2018<br class=""><br class="">PROCEEDINGS<br class="">Proceedings of the workshop will be published as CEUR workshop proceedings.<br class=""><br class="">ORGANIZERS<br class="">Ulrich Furbach, University of Koblenz<br class="">Sangeet Khemlani, Naval Research Laboratory, Washington DC<br class="">Oliver Obst, Western Sydney University<br class="">Marco Ragni, University of Freiburg<br class="">Claudia Schon, University of Koblenz<br class=""><br class="">PROGRAM COMMITTEE<br class=""><ul class=""><li class="">Emmanuelle Diez Saldanha, University of Dresden</li><li class="">Ulrich Furbach, University of Koblenz</li><li class="">Steffen Hoelldobler, University of Dresden</li><li class="">Antonis C. Kakas, University Cyprus, Cyprus</li><li class="">Gabriele Kern-Isberner, TU Dortmund </li><li class="">Sangeet Khemlani, Naval Research Lab, USA </li><li class="">Robert A. Kowalski, Imperial College London, GB</li><li class="">Oliver Obst, Western Sydney University</li><li class="">Luis Moniz Pereira, Universidade Nova Lisboa, Portugal</li><li class="">Marco Ragni, University of Freiburg</li><li class="">Claudia Schon, University of Koblenz</li><li class="">Frieder Stolzenburg, Harz University of Applied Sciences</li></ul>Contact: Claudia Schon, schon@uni-koblenz.de</div></div></body></html>