Bridging@CogSci

Keyphrases

Publications

2017

Antonis C. Kakas
Informalizing Formal Logic. Bridging@CogSci (2017)
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha
The Weak Completion Semantics. Bridging@CogSci (2017)
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
Principles and Clusters in Human Syllogistic Reasoning. Bridging@CogSci (2017)
Ana-Maria Olteteanu
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. Bridging@CogSci (2017)
Robert A. Kowalski
Satisfiability for First-order Logic as a Non-Modal Deontic Logic. Bridging@CogSci (2017)
Luís Moniz Pereira, Ari Saptawijaya
Agent Morality via Counterfactuals in Logic Programming. Bridging@CogSci (2017)
Marco Ragni, Nicolas Riesterer
The Search for Cognitive Models: Standards and Challenges. Bridging@CogSci (2017)
Ilir Kola, Marco Ragni
Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. Bridging@CogSci (2017)

volume 1994, 2017

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. Bridging@CogSci 1994 (2017)