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

• 2018
• 
  Prateek Jain, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David L. Martin:
  Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting. RuleML+RR 2018: 285-292
• 
  Enrique Matos Alfonso, Giorgos Stamou:
  On Horn Conjunctive Queries. RuleML+RR 2018: 115-130
• 
  Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos:
  Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR 2018: 203-210
• 
  Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer:
  Faceted Answer-Set Navigation. RuleML+RR 2018: 211-225
• 
  Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes, Natasha Correia Queiroz Lino:
  Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architecture. RuleML+RR 2018: 226-238
• 
  Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
  Vadalog: A Language and System for Knowledge Graphs. RuleML+RR 2018: 3-8
• 
  Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina:
  Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis. RuleML+RR 2018: 33-47
• 
  Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
  Integrating Rule-Based AI Tools into Mainstream Game Development. RuleML+RR 2018: 310-317
• 
  Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria:
  An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}{4, \!\times }$$. RuleML+RR 2018: 239-247
• 
  Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
  On the k-Boundedness for Existential Rules. RuleML+RR 2018: 48-64
• 
  Marjolein Deryck, Faruk Hasic, Jan Vanthienen, Joost Vennekens:
  A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm. RuleML+RR 2018: 248-263
• 
  Fred Freitas, Ivan Varzinczak:
  Cardinality Restrictions Within Description Logic Connection Calculi. RuleML+RR 2018: 65-80
• 
  Thom W. Frühwirth:
  Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design. RuleML+RR 2018: 264-273
• 
  Tobias Gleißner, Alexander Steen:
  The MET: The Art of Flexible Reasoning with Modalities. RuleML+RR 2018: 274-284
• 
  Guido Governatori:
  Modal Rules: Extending Defeasible Logic with Modal Operators. RuleML+RR 2018: 9-30
• 
  Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert:
  A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. RuleML+RR 2018: 81-97
• 
  Arash Karimi, Heng Zhang, Jia-Huai You:
  Restricted Chase Termination: A Hierarchical Approach and Experimentation. RuleML+RR 2018: 98-114
• 
  Matthew R. Karlsen, Sotiris Moschoyiannis:
  Learning Condition-Action Rules for Personalised Journey Recommendations. RuleML+RR 2018: 293-301
• 
  Kalliopi Kravari, Nick Bassiliades:
  A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and Microservices. RuleML+RR 2018: 302-309
• 
  Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel:
  CHR.js: A CHR Implementation in JavaScript. RuleML+RR 2018: 131-146
• 
  Romain Rincé, Romain Kervarc, Philippe Leray:
  Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling. RuleML+RR 2018: 147-163
• 
  Patrick Rodler, Wolfgang Schmid:
  On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging. RuleML+RR 2018: 164-184
• 
  Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa:
  Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics. RuleML+RR 2018: 185-200
• 
  Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega:
  Answer Set Programming Modulo 'Space-Time'. RuleML+RR 2018: 318-326
• 
  Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman:
  Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Lecture Notes in Computer Science 11092, Springer 2018, ISBN 978-3-319-99905-0 [contents]