Skip to main content
SpringerLink
Log in
Book cover

Rule Technologies. Research, Tools, and Applications

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Jose Julio Alferes

    1. Universidade Nova de Lisboa, Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leopoldo Bertossi

    1. Carleton University, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Guido Governatori

    1. NICTA Queensland, Brisbane, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Paul Fodor

    1. Stony Brook University, Stony Brook, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Dumitru Roman

    1. SINTEF/University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: RuleML 2016.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages I-XXV
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    2. Handling Complex Process Models Conditions Using First-Order Horn Clauses

      • Stefano Ferilli
      Pages 37-52

    3. Business Rules Uncertainty Management with Probabilistic Relational Models

      • Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin
      Pages 53-67

    4. 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

    5. Controlling the Average Behavior of Business Rules Programs

      • Olivier Wang, Leo Liberti, Claudia D’Ambrosio, Christian de Sainte Marie, Changhai Ke
      Pages 83-96

    6. Bridge Rules for Reasoning in Component-Based Heterogeneous Environments

      • Stefania Costantini, Giovanni De Gasperis
      Pages 97-112

    7. Choreographic Compilation of Decentralized Comprehension Patterns

      • Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar
      Pages 113-129

    8. Minimal Objectification and Maximal Unnesting in PSOA RuleML

      • Gen Zou, Harold Boley
      Pages 130-147

  4. Smart Contracts, Blockchain and Rules

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    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

    4. Blockchain Temporality: Smart Contract Time Specifiability with Blocktime

      • Melanie Swan
      Pages 184-196

  5. Constraint Handling Rules

    1. Front Matter

      Pages 197-197
      Download chapter PDF

    2. A Numerical Optimisation Based Characterisation of Spatial Reasoning

      • Carl Schultz, Mehul Bhatt
      Pages 199-207

    3. Why Can’t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints

      • Thom Frühwirth
      Pages 208-222

    4. Translation of Cognitive Models from ACT-R to Constraint Handling Rules

      • Daniel Gall, Thom Frühwirth
      Pages 223-237
Back to top

Other volumes

  1. Rule Technologies. Research, Tools, and Applications

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation