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

• 2017
• 
  Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
  RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC 2017: 306-320
• 
  Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
  Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC 2017: 248-261
• 
  David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala:
  Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC 2017: 27-38
• 
  Federico Bergenti, Stefania Monica:
  Satisfaction of Polynomial Constraints over Finite Domains using Function Values. ICTCS/CILC 2017: 262-275
• 
  Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
  A C++ Reasoner for the Description Logic DL-4X(D). ICTCS/CILC 2017: 276-280
• 
  Ferdinando Cicalese, Massimiliano Rossi:
  On the Multi-interval Ulam-Rényi game: For 3 Lies 4 Intervals Suffice. ICTCS/CILC 2017: 39-50
• 
  Feliciano Colella, Mattia D'Emidio, Guido Proietti:
  Simple and Practically Efficient Fault-tolerant 2-hop Cover Labelings. ICTCS/CILC 2017: 51-62
• 
  Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
  A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74
• 
  Francesco Contaldo, Marco De Bortoli, Agostino Dovier:
  Optimization of a Compiler from PDDL to Picat (Short Paper). ICTCS/CILC 2017: 281-285
• 
  Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni, Agnese Salutari:
  DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing. ICTCS/CILC 2017: 286-300
• 
  Andrzej Czygrinow, Michal Hanckowiak, Wojciech Wawrzyniak, Marcin Witkowski:
  Distributed Approximation Algorithms for k-dominating Set in Graphs of Bounded Genus and Linklessly Embeddable Graphs. ICTCS/CILC 2017: 75-86
• 
  Mattia D'Emidio, Imran Khan:
  Multi-robot Task Allocation Problem: Current Trends and New Ideas. ICTCS/CILC 2017: 99-103
• 
  Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
  Proof-Search in Hilbert Calculi. ICTCS/CILC 2017: 301-305
• 
  Mark Korenblit, Vadim E. Levit:
  Graph Expression Complexities and Simultaneous Linear Recurrences. ICTCS/CILC 2017: 104-108
• 
  Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka:
  Effectful Applicative Similarity for Call-by-Name Lambda Calculi. ICTCS/CILC 2017: 87-98
• 
  Mauro Leoncini, Gianluca De Marco, Lucia Mazzali, Manuela Montangero:
  Distributed Beta-assignment on Graphs. ICTCS/CILC 2017: 109-120
• 
  Murilo Santos de Lima, Mário César San Felice, Orlando Lee:
  Connected Facility Leasing Problems. ICTCS/CILC 2017: 162-173
• 
  Francesca Alessandra Lisi, Corrado Mencar:
  Introducing Fuzzy Quantification in OWL 2 Ontologies. ICTCS/CILC 2017: 321-325
• 
  Doriana Medic, Claudio Antares Mezzina:
  Towards Parametric Causal Semantics in pi-calculus. ICTCS/CILC 2017: 121-125
• 
  Marino Miculan, Marco Peressotti:
  Deciding Weak Weighted Bisimulation. ICTCS/CILC 2017: 126-137
• 
  Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
  Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC 2017: 326-340
• 
  Marc Neveling, Jörg Rothe:
  Closing the Gap of Control Complexity in Borda Elections: Solving ten open cases. ICTCS/CILC 2017: 138-149
• 
  Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano:
  LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). ICTCS/CILC 2017: 341-345
• 
  Michele Pasqua, Isabella Mastroeni:
  On Topologies for (Hyper)Properties. ICTCS/CILC 2017: 150-161
• 
  Luca Spalazzi, Francesco Spegni:
  On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. ICTCS/CILC 2017: 174-185
• 
  Ezgi Iraz Su:
  An S4F-related Monotonic Modal Logic. ICTCS/CILC 2017: 346-360
• 
  Alice Tarzariol, Agostino Dovier, Alberto Policriti:
  Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC 2017: 361-375
• 
  Dragisa Zunic, Pierre Lescanne:
  A Congruence Relation for Restructuring Classical Terms. ICTCS/CILC 2017: 186-197
• 
  Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro:
  Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. CEUR Workshop Proceedings 1949, CEUR-WS.org 2017 [contents]