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

• 2009
• 
  Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
  A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226
• 
  Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurrell:
  A Hybrid Architecture for a Preoperative Decision Support System Using a Rule Engine and a Reasoner on a Clinical Ontology. RR 2009: 242-253
• 
  Simon Brodt, François Bry, Norbert Eisinger:
  Search for More Declarativity. RR 2009: 71-86
• 
  Jos de Bruijn, Martín Rezk:
  A Logic Based Approach to the Static Analysis of Production Systems. RR 2009: 254-268
• 
  François Bry, Tim Furche, Benedikt Linse:
  The Perfect Match: RPL and RDF Rule Languages. RR 2009: 227-241
• 
  Stephan Grimm, Pascal Hitzler:
  A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. RR 2009: 40-54
• 
  Benjamin N. Grosof:
  SILK: Higher Level Rules with Defaults and Semantic Scalability. RR 2009: 24-25
• 
  Stijn Heymans, Cristina Feier, Thomas Eiter:
  A Reasoner for Simple Conceptual Logic Programs. RR 2009: 55-70
• 
  Aidan Hogan, Stefan Decker:
  On the Ostensibly Silent 'W' in OWL 2 RL. RR 2009: 118-134
• 
  Robert A. Kowalski, Fariba Sadri:
  Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23
• 
  Gergely Lukácsy, Péter Szeredi:
  Scalable Web Reasoning Using Logic Programming Techniques. RR 2009: 102-117
• 
  Thomas Lukasiewicz:
  Uncertainty Reasoning for the Semantic Web. RR 2009: 26-39
• 
  Yue Ma, Pascal Hitzler:
  Paraconsistent Reasoning for OWL 2. RR 2009: 197-211
• 
  Christian Meilicke, Heiner Stuckenschmidt:
  An Efficient Method for Computing Alignment Diagnoses. RR 2009: 182-196
• 
  Anne Schlicht, Heiner Stuckenschmidt:
  Distributed Resolution for Expressive Ontology Networks. RR 2009: 87-101
• 
  Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock:
  Answer Sets in a Fuzzy Equilibrium Logic. RR 2009: 135-149
• 
  Umberto Straccia:
  A Minimal Deductive System for General Fuzzy RDF. RR 2009: 166-181
• 
  Hui Wan:
  Belief Logic Programming with Cyclic Dependencies. RR 2009: 150-165
• 
  Axel Polleres, Terrance Swift:
  Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Lecture Notes in Computer Science 5837, Springer 2009, ISBN 978-3-642-05081-7 [contents]