• 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 (|)
  e.g., graph|network

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

• 2017
• 
  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
• 
  Ana-Maria Olteteanu:
  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]