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

• 2016
• 
  Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin:
  Business Rules Uncertainty Management with Probabilistic Relational Models. RuleML 2016: 53-67
• 
  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
• 
  Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà:
  A Framework Enhancing the User Search Activity Through Data Posting. RuleML 2016: 287-304
• 
  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
• 
  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
• 
  Carl Schultz, Mehul Bhatt:
  A Numerical Optimisation Based Characterisation of Spatial Reasoning. RuleML 2016: 199-207
• 
  Melanie Swan:
  Blockchain Temporality: Smart Contract Time Specifiability with Blocktime. RuleML 2016: 184-196
• 
  Olivier Wang, Leo Liberti, Claudia D'Ambrosio, Christian de Sainte Marie, Changhai Ke:
  Controlling the Average Behavior of Business Rules Programs. RuleML 2016: 83-96
• 
  William Van Woensel, Patrice C. Roy, Syed Sibte Raza Abidi:
  SmartRL: A Context-Sensitive, Ontology-Based Rule Language for Assisted Living in Smart Environments. RuleML 2016: 341-349
• 
  Neng-Fa Zhou:
  Programming in Picat. RuleML 2016: 3-18
• 
  Gen Zou, Harold Boley:
  Minimal Objectification and Maximal Unnesting in PSOA RuleML. RuleML 2016: 130-147
• 
  José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman:
  Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Lecture Notes in Computer Science 9718, Springer 2016, ISBN 978-3-319-42018-9 [contents]