- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal"
- exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics"
- boolean and: separate words by space
e.g., codd model
- boolean or: connect words by pipe symbol (|)
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
found 9 matches
Antonis C. Kakas:
Informalizing Formal Logic. Bridging@CogSci 2017: 31-38
Ilir Kola, Marco Ragni:
Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. Bridging@CogSci 2017: 1
Robert A. Kowalski:
Satisfiability for First-order Logic as a Non-Modal Deontic Logic. Bridging@CogSci 2017: 84-90
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. Bridging@CogSci 2017: 54-68
Luís Moniz Pereira, Ari Saptawijaya:
Agent Morality via Counterfactuals in Logic Programming. Bridging@CogSci 2017: 39-53
Marco Ragni, Nicolas Riesterer:
The Search for Cognitive Models: Standards and Challenges. Bridging@CogSci 2017: 10-17
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz:
Principles and Clusters in Human Syllogistic Reasoning. Bridging@CogSci 2017: 69-83
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Isabelly Lourêdo Rocha:
The Weak Completion Semantics. Bridging@CogSci 2017: 18-30
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 [contents]
loading more results
failed to load more results, please try again later
The full-text search results are provided via , courtesy of AI2.
found ?? matches
- service temporarily not available