• 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

• 2014
• 
  Reza Basseda, Michael Kifer, Anthony J. Bonner:
  Planning with Transaction Logic. RR 2014: 29-44
• 
  Yi Bi, Jia-Huai You, Zhiyong Feng:
  A Generalization of Approximation Fixpoint Theory and Application. RR 2014: 45-59
• 
  Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
  Exchange-Repairs: Managing Inconsistency in Data Exchange. RR 2014: 140-156
• 
  Alexandros Chortaras, Nasos Drosopoulos, Ilianna Kollia, Nikolaos Simou:
  Web Reasoning for Cultural Heritage. RR 2014: 23-28
• 
  Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
  Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. RR 2014: 60-75
• 
  Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
  Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. RR 2014: 76-91
• 
  Maria Karpathiotaki, Kallirroi Dogani, Manolis Koubarakis, Bernard Valentin, Paolo Mazzetti, Mattia Santoro, Sabina Di Franco:
  Semantic Search for Earth Observartion Products using Ontology Services. RR 2014: 173-178
• 
  Eli Katsiri, George Papastefanatos, Manolis Terrovitis, Timos K. Sellis:
  Airport Context Analytics. RR 2014: 179-184
• 
  Szymon Klarman, Thomas Meyer:
  Querying Temporal Databases via OWL 2 QL. RR 2014: 92-107
• 
  Dimitrios A. Koutsomitropoulos, Georgia D. Solomou, Aikaterini K. Kalou:
  Navigating among Educational Resources in the Web of Linked Data. RR 2014: 185-190
• 
  Markus Krötzsch:
  P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others. RR 2014: 1-22
• 
  Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen:
  Towards Mapping Analysis in Ontology-Based Data Access. RR 2014: 108-123
• 
  Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
  Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. RR 2014: 124-139
• 
  Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino:
  Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming. RR 2014: 191-196
• 
  Matthias Nickles, Alessandra Mileo:
  Web Stream Reasoning Using Probabilistic Answer Set Programming. RR 2014: 197-205
• 
  Andreas Nolle, Christian Meilicke, Heiner Stuckenschmidt, German Nemirovski:
  Efficient Federated Debugging of Lightweight Ontologies. RR 2014: 206-215
• 
  Magdalena Ortiz, Mantas Simkus:
  Revisiting the Hardness of Query Answering in Expressive Description Logics. RR 2014: 216-223
• 
  Luca Pulina:
  An Ontology for Container Terminal Operations. RR 2014: 224-229
• 
  Giorgos Stoilos:
  Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies. RR 2014: 230-238
• 
  Guohui Xiao, Martin Rezk, Mariano Rodriguez-Muro, Diego Calvanese:
  Rules and Ontology Based Data Access. RR 2014: 157-172
• 
  Roman Kontchakov, Marie-Laure Mugnier:
  Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Lecture Notes in Computer Science 8741, Springer 2014, ISBN 978-3-319-11112-4 [contents]