• 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 8 matches

• 2018
• 
  Stefania Costantini, Abeer Dyoub, Valentina Pitoni:
  Reflection and Introspection for Humanized Intelligent Agents. Bridging@IJCAI/ECAI 2018: 19-26
• 
  Marcos Cramer, Mathieu Guillaume:
  Directionality of Attacks in Natural Language Argumentation. Bridging@IJCAI/ECAI 2018: 40-46
• 
  Sjur K. Dyrkolbotn, Truls Pedersen:
  A Formal Analysis of Enthymematic Arguments. Bridging@IJCAI/ECAI 2018: 13-18
• 
  Andrew Fish, Alexei Lisitsa, Alexei Vernitski:
  Towards Human Readability of Automated Unknottedness Proofs. Bridging@IJCAI/ECAI 2018: 27-32
• 
  Steffen Hölldobler:
  Ethical Decision Making under the Weak Completion Semantics. Bridging@IJCAI/ECAI 2018: 1
• 
  Lawrence S. Moss, Charlotte Raty:
  Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. Bridging@IJCAI/ECAI 2018: 33-39
• 
  Alison Pease, Ursula Martin:
  Automating "Human-Like" Example-Use in Mathematics. Bridging@IJCAI/ECAI 2018: 6-12
• 
  Claudia Schon:
  Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. CEUR Workshop Proceedings 2261, CEUR-WS.org 2018 [contents]