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

• 2020
• 
  Marco Maratea, Mauro Vallati:
  Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Rende, Italy, November 19-20, 2019. CEUR Workshop Proceedings 2538, CEUR-WS.org 2020 [contents]
• 2019
• 
  Riccardo Bertolucci:
  TDeclarative Solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots (short paper). RCRA/RiCeRcA@AI*IA 2019
• 
  Agostina Calabrese:
  Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios. RCRA/RiCeRcA@AI*IA 2019
• 
  Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci:
  Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. RCRA/RiCeRcA@AI*IA 2019
• 
  Lukás Chrpa, Martin Pilát, Jakub Gemrot:
  Compiling Planning Problems with Non-deterministic Events into FOND Planning. RCRA/RiCeRcA@AI*IA 2019
• 
  Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri:
  Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper). RCRA/RiCeRcA@AI*IA 2019
• 
  Carmine Dodaro, Alessandro Previti:
  Minipref: A Tool for Preferences in SAT (short paper). RCRA/RiCeRcA@AI*IA 2019