Skip to main content
  • Conference proceedings
  • © 2016

Rule Technologies. Research, Tools, and Applications

10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9718)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): RuleML: International Symposium on Rules and Rule Markup Languages for the Semantic Web

Conference proceedings info: RuleML 2016.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

    Pages I-XXV
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Programming in Picat

      • Neng-Fa Zhou
      Pages 3-18
    3. The RuleML Knowledge-Interoperation Hub

      • Harold Boley
      Pages 19-33
  3. General RuleML Track

    1. Front Matter

      Pages 35-35
    2. Business Rules Uncertainty Management with Probabilistic Relational Models

      • Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin
      Pages 53-67
    3. A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees

      • Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
      Pages 68-82
    4. Controlling the Average Behavior of Business Rules Programs

      • Olivier Wang, Leo Liberti, Claudia D’Ambrosio, Christian de Sainte Marie, Changhai Ke
      Pages 83-96
    5. Bridge Rules for Reasoning in Component-Based Heterogeneous Environments

      • Stefania Costantini, Giovanni De Gasperis
      Pages 97-112
    6. Choreographic Compilation of Decentralized Comprehension Patterns

      • Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar
      Pages 113-129
  4. Smart Contracts, Blockchain and Rules

    1. Front Matter

      Pages 149-149
    2. Setting Standards for Altering and Undoing Smart Contracts

      • Bill Marino, Ari Juels
      Pages 151-166
    3. Evaluation of Logic-Based Smart Contracts for Blockchain Systems

      • Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor
      Pages 167-183
  5. Constraint Handling Rules

    1. Front Matter

      Pages 197-197

Other Volumes

  1. Rule Technologies. Research, Tools, and Applications

About this book

This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.

The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions. 
RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules. 

Editors and Affiliations

  • Universidade Nova de Lisboa, Lisboa, Portugal

    Jose Julio Alferes

  • Carleton University, Ottawa, Canada

    Leopoldo Bertossi

  • NICTA Queensland, Brisbane, Australia

    Guido Governatori

  • Stony Brook University, Stony Brook, USA

    Paul Fodor

  • SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access