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

• 2021
• 
  Laura Giordano, Daniele Theseider Dupré:
  A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). CILC 2021: 47-61
• 
  Giuseppe Bisicchia, Stefano Forti, Antonio Brogi:
  A Declarative Goal-oriented Framework for Smart Environments with LPaaS. CILC 2021: 143-157
• 
  Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi:
  Timed Concurrent Language for Argumentation. CILC 2021: 1-15
• 
  Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali:
  Convergence Verification of Declarative Distributed Systems. CILC 2021: 62-76
• 
  Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere:
  Very Weak, Essentially Undecidabile Set Theories. CILC 2021: 31-46
• 
  Alberto Coffrini, Stefania Monica, Federico Bergenti:
  On the Design of an Artificial Player for a Popular Word Game. CILC 2021: 122-132
• 
  Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier:
  Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. CILC 2021: 77-91
• 
  Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia:
  A Smart Health Assistant via DALI Logical Agents. CILC 2021: 173-187
• 
  Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri:
  Ethical Monitoring and Evaluation of Dialogues with a MAS. CILC 2021: 158-172
• 
  Rocco de Felice, Stefania Monica, Federico Bergenti:
  Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming. CILC 2021: 133-142
• 
  Angelo Ferrando, Giorgio Delzanno:
  Incrementally Predictive Runtime Verification. CILC 2021: 92-106
• 
  Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen:
  A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. CILC 2021: 107-121
• 
  Antonio Ielo, Francesco Ricca:
  Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. CILC 2021: 188-195
• 
  Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor:
  A Mechanism for Reasoning over Defeasible Preferences in Arg2P. CILC 2021: 16-30
• 
  Stefania Monica, Federico Bergenti:
  Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. CEUR Workshop Proceedings 3002, CEUR-WS.org 2021 [contents]