Rule Technologies. Research, Tools, and Applications

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

  • Alferes Jose Julio 
  • Bertossi Leopoldo 
  • Governatori Guido 
  • Fodor Paul 
  • Roman Dumitru 
Conference proceedings RuleML 2016

DOI: 10.1007/978-3-319-42019-6

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

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

About these proceedings

Introduction

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

  • Alferes Jose Julio 
    • 1
  • Bertossi Leopoldo 
    • 2
  • Governatori Guido 
    • 3
  • Fodor Paul 
    • 4
  • Roman Dumitru 
    • 5
  1. 1.Universidade Nova de LisboaLisboaPortugal
  2. 2.Carleton UniversityOttawaCanada
  3. 3.NICTA QueenslandBrisbaneAustralia
  4. 4.Stony Brook UniversityStony BrookUSA
  5. 5.SINTEF/University of OsloOsloNorway

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-42018-9
  • Online ISBN 978-3-319-42019-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349