default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBridging 2017: London, UK
- Claudia Schon, Ulrich Furbach:
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. CEUR Workshop Proceedings 1994, CEUR-WS.org 2017 - Ilir Kola, Marco Ragni:
Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. 1 - Marco Ragni, Nicolas Riesterer:
The Search for Cognitive Models: Standards and Challenges. 10-17 - Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha:
The Weak Completion Semantics. 18-30 - Antonis C. Kakas:
Informalizing Formal Logic. 31-38 - Luís Moniz Pereira, Ari Saptawijaya:
Agent Morality via Counterfactuals in Logic Programming. 39-53 - Ana-Maria Olteteanu:
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. 54-68 - Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz:
Principles and Clusters in Human Syllogistic Reasoning. 69-83 - Robert A. Kowalski:
Satisfiability for First-order Logic as a Non-Modal Deontic Logic. 84-90
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
