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

• 2015
• 
  Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti:
  A case study on graph-based planning for emergency evacuation. CILC 2015: 46-52
• 
  Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro:
  SUNNY for algorithm selection: a preliminary study. CILC 2015: 202-206
• 
  Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio:
  Leveraging commitments and goals in agent interaction. CILC 2015: 85-100
• 
  Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
  Computational thinking for beginners: A successful experience using Prolog. CILC 2015: 31-45
• 
  Stefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi:
  Towards visualising security with arguments. CILC 2015: 197-201
• 
  Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani:
  Ontoceramic: an OWL ontology for ceramics classification. CILC 2015: 122-127
• 
  Cristina Civili, Riccardo Rosati:
  On the first-order rewritability of conjunctive queries over binary guarded existential rules. CILC 2015: 25-30
• 
  Andrea Corradi, Federico Frassetto:
  Infinite derivations as failures. CILC 2015: 19-24
• 
  Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri:
  How Answer Set Programming can help in digital forensic investigation. CILC 2015: 53-65
• 
  Angelo Ferrando:
  Parametric protocol-driven agents and their integration in JADE. CILC 2015: 72-84
• 
  Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
  Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. CILC 2015: 117-121
• 
  Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
  Abductive logic programming for Datalog +/- ontologies. CILC 2015: 128-143
• 
  Francesca Alessandra Lisi, Corrado Mencar:
  Towards fuzzy granulation in OWL ontologies. CILC 2015: 144-158
• 
  Vadim Malvone, Aniello Murano, Loredana Sorrentino:
  Games with additional winning strategies. CILC 2015: 175-180
• 
  Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
  Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116
• 
  Nicola Olivetti, Gian Luca Pozzato:
  A natural sequent calculus for Lewis' logic of counterfactuals. CILC 2015: 13-18
• 
  Andrea Pazienza, Floriana Esposito, Stefano Ferilli:
  An authority degree-based evaluation strategy for abstract argumentation frameworks. CILC 2015: 181-196
• 
  Gian Luca Pozzato:
  Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. CILC 2015: 159-174
• 
  Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore:
  Leveraging semantic web technologies for analysis of crime in social science. CILC 2015: 66-71
• 
  Luca Vallata, Eugenio G. Omodeo:
  A Diophantine representation of Wolstenholme's pseudoprimality. CILC 2015: 2-12
• 
  Davide Ancona, Marco Maratea, Viviana Mascardi:
  Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents]