Workshop Description

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. It is a well researched topic in cognitive psychology and cognitive science and over the past decade impressive results have been achieved. Early researchers often used propositional logic as a normative framework. Any deviation from it has been considered an error. Central results like findings from the Wason selection task or the suppression task inspired a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research for common sense reasoning. This is the third workshop in a series of successful Bridging workshops located at previous conferences: 2015 at the International Conference on Automated Deduction in Berlin (CADE-25), 2016 at the International Conference on Artificial Intelligence in New York (IJCAI 2016). During CADE the workshop was focused more on the automated reasoning aspects, the IJCAI frame supported the interdisciplinary character of the workshop within AI. Because both fields -- human and automated reasoning -- are interested in reasoning, achievements in both fields can inform the others. Deviations between fields can inspire to seek a new and profound understanding of the nature of reasoning. The Annual Meeting of the Cognitive Science Society is the central place for the interdisciplinary nature of this topic. The goal of this workshop is to bring together leading researchers from artificial intelligence, automated deduction, computational logics and the psychology of reasoning that are interested in a computational foundations of human reasoning -- both as speakers and as audience members. Its ultimate goal is to share knowledge, discuss open research questions, and inspire new paths. Like its preceding event, it is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following:
  • limits and differences between automated and human reasoning,
  • psychology of deduction,
  • common sense reasoning,
  • logics modeling human cognition,
  • modeling human reasoning using automated reasoning systems,
  • non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning and
  • application fields of automated reasoning in the interaction with human reasoners.
  • The workshop will be held in conjunction with COGSCI-17 and is supported by IFIP TC12.

    List of important dates

  • Full Paper submission deadline: June 15th, 2017
  • Notification: June 22nd, 2017
  • Workshop: July 26th, 2017
  • Submission and Contribution Format

    Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained here. The EasyChair submission site is available at


    Proceedings of the workshop are published as CEUR workshop proceedings and can be found here.


  • Ulrich Furbach, University of Koblenz
  • Steffen Hoelldobler, University of Dresden
  • Marco Ragni, University of Freiburg
  • Claudia Schon, University of Koblenz
  • Contact: Claudia Schon
  • Program Committee

  • Emmanuelle Diez Saldanha, University of Dresden
  • Ulrich Furbach, University of Koblenz
  • Steffen Hoelldobler, University of Dresden
  • Antonis C. Kakas, University Cyprus, Cyprus
  • Sangeet Khemlani, Naval Research Lab, USA
  • Robert A. Kowalski Imperial College London, GB
  • Luís Moniz Pereira, Universidade Nova Lisboa, Portugal
  • Marco Ragni, University of Freiburg
  • Claudia Schon, University of Koblenz
  • Frieder Stolzenburg, Harz University of Applied Sciences
  • Mariusz Urbański,Adam Mickiewicz University Poznań, Poland
  • Contact: Claudia Schon

    Program Overview

    July 26th


    Marco Ragni, University of Freiburg, Germany: Challenges in Cognitive Modeling of Reasoning


    Sunny Khemlani, Naval Research Lab, USA: Dirty little secrets of logic


    Steffen Hölldobler, TU Dresden, Germany: The Weak Completion Semantics.




    Antonis C. Kakas, University of Cyprus, Cyprus: Informalizing Formal Logic


    Luís Moniz Pereira, Universidade Nova Lisboa, Portugal: Agent Morality via Counterfactuals in Logic Programming


    Bob Kowalski, Imperial College London, GB: Abductive logic programming as a non-modal deontic logic


    Discussion: What are future challenges?


    Ana-Maria Olteteanu, Towards Social Cognitive Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning


    Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler and Richard Mörbitz, Principles and Clusters in Human Syllogistic Reasoning