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

• 2016
• 
  Mohammadreza Abbasifard:
  Rule Based Fragment Allocation in Distributed Database Systems. RuleML (Supplement) 2016
• 
  Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin:
  Business Rules Uncertainty Management with Probabilistic Relational Models. RuleML 2016: 53-67
• 
  James Anderson, Tara Athan, Adrian Paschke:
  Rules and RDF Streams - A Position Paper. RuleML (Supplement) 2016
• 
  Dörthe Arndt, Joachim Van Herwegen, Ruben Verborgh, Erik Mannens, Rik Van de Walle:
  Using Rules to generate and execute Workflows in Smart Factories. RuleML (Supplement) 2016
• 
  George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou:
  Rule-Based Real-Time ADL Recognition in a Smart Home Environment. RuleML 2016: 325-340
• 
  Harold Boley:
  The RuleML Knowledge-Interoperation Hub. RuleML 2016: 19-33
• 
  Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha:
  Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) 2016
• 
  Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà:
  A Framework Enhancing the User Search Activity Through Data Posting. RuleML 2016: 287-304
• 
  Marcello Ceci, Firas Al Khalil, Leona O'Brien:
  Making Sense of Regulations with SBVR. RuleML (Supplement) 2016
• 
  Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar:
  Choreographic Compilation of Decentralized Comprehension Patterns. RuleML 2016: 113-129
• 
  Stefania Costantini, Giovanni De Gasperis:
  Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. RuleML 2016: 97-112
• 
  Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker:
  Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. RuleML (Supplement) 2016
• 
  Jacob Feldman:
  What-If Analyzer for DMN-based Decision Models. RuleML (Supplement) 2016
• 
  Stefano Ferilli:
  Handling Complex Process Models Conditions Using First-Order Horn Clauses. RuleML 2016: 37-52
• 
  Thom W. Frühwirth:
  Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. RuleML 2016: 208-222
• 
  Daniel Gall, Thom W. Frühwirth:
  Translation of Cognitive Models from ACT-R to Constraint Handling Rules. RuleML 2016: 223-237
• 
  Greg Harris, Anand V. Panangadan, Viktor K. Prasanna:
  PRIMER - A Regression-Rule Learning System for Intervention Optimization. RuleML 2016: 307-321
• 
  Dag Hovland, Davide Lanti, Martin Rezk, Guohui Xiao:
  OBDA Constraints for Effective Query Answering. RuleML 2016: 269-286
• 
  Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor:
  Evaluation of Logic-Based Smart Contracts for Blockchain Systems. RuleML 2016: 167-183
• 
  Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez:
  A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees. RuleML 2016: 68-82
• 
  Firas Al Khalil, Marcello Ceci, Kosala Yapa, Leona O'Brien:
  SBVR to OWL 2 Mapping in the Domain of Legal Rules. RuleML 2016: 258-266
• 
  Ho-Pun Lam, Mustafa Hashmi, Brendan Scofield:
  Enabling Reasoning with LegalRuleML. RuleML 2016: 241-257
• 
  Bill Marino, Ari Juels:
  Setting Standards for Altering and Undoing Smart Contracts. RuleML 2016: 151-166
• 
  Adrian Paschke:
  On the Use of Provalets in a Predictive Maintenance Use Case. RuleML (Supplement) 2016
• 
  Adrian Paschke, Simon Könnecke:
  RuleML - DMN Translator. RuleML (Supplement) 2016
• 
  Tuan Anh Pham, Nhan Le Thanh:
  Checking the Compliance of Business Process in Business Process Life Cycle. RuleML (Supplement) 2016
• 
  Julia Pielmeier, Stefan Braunreuther, Gunther Reinhart:
  Situational Handling of Events for Industrial Production Environments. RuleML (Supplement) 2016
• 
  Fariba Sadri:
  An Executable Logic-Based Model for Cutter Suction Dredging Using LPS. RuleML (Supplement) 2016
• 
  Carl Schultz, Mehul Bhatt:
  A Numerical Optimisation Based Characterisation of Spatial Reasoning. RuleML 2016: 199-207
• 
  Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth:
  A Rule Based Approach to teach Mathematics using Animation. RuleML (Supplement) 2016

skipping 443 more matches