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

• 2010
• 
  Marco Alberti, Marco Gavanelli, Evelina Lamma:
  Runtime Addition of Integrity Constraints in SCIFF. CILC 2010
• 
  Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
  Constraints among Commitments: Regulative Specification of Interaction Protocols. CILC 2010
• 
  Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
  Probabilistic Logic-Based Process Mining. CILC 2010
• 
  Stefano Bistarelli, Daniele Pirolandi, Francesco Santini:
  Solving Weighted Argumentation Frameworks with Soft Constraints. CILC 2010
• 
  Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi:
  Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti. CILC 2010
• 
  Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
  Dual Tableau-based Decision Procedures for Some Relational Logics. CILC 2010
• 
  Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo:
  A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. CILC 2010
• 
  Stefania Costantini, Alessio Paolucci:
  Towards Translating Natural Language Sentences into ASP. CILC 2010
• 
  Agostino Dovier, Andrea Formisano, Enrico Pontelli:
  Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010
• 
  Onofrio Febbraro, Kristian Reale, Francesco Ricca:
  A Visual Interface for Drawing ASP Programs. CILC 2010
• 
  Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
  Generalization Strategies for the Verification of Infinite State Systems. CILC 2010
• 
  Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
  A Constructive Conditional Logic for Access Control. CILC 2010
• 
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
  Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010
• 
  Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
  Reasoning about Actions with Temporal Answer Sets. CILC 2010
• 
  Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
  Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CILC 2010
• 
  Marco Manna, Francesco Ricca, Giorgio Terracina:
  Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. CILC 2010
• 
  Francesco Mele, Antonio Sorgente, Giuseppe Vettigli:
  Evoluzioni di Ontologie in Frame Logic. CILC 2010
• 
  Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
  CLP-based Protein Fragment Assembly. CILC 2010
• 
  Simona Perri, Francesco Ricca, Marco Sirianni:
  Parallel Instantiation in DLV. CILC 2010
• 
  Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
  A Transformation Strategy for Verifying Logic Programs on Infinite Lists. CILC 2010
• 
  Fabrizio Riguzzi, Terrance Swift:
  An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. CILC 2010
• 
  Wolfgang Faber, Nicola Leone:
  Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010 [contents]