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.

Buying options

eBook USD 139.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-42019-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 179.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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

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

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. 

Keywords

  • description logics
  • knowledge reasoning
  • logic programming
  • markup languages
  • ontologies

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

Buying options

eBook USD 139.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-42019-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 179.99
Price excludes VAT (USA)