Book Volume 9718 2016

Rule Technologies. Research, Tools, and Applications

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

ISBN: 978-3-319-42018-9 (Print) 978-3-319-42019-6 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XXV

  2. Invited Papers

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-18

      Programming in Picat

    3. No Access

      Chapter

      Pages 19-33

      The RuleML Knowledge-Interoperation Hub

  3. General RuleML Track

    1. Front Matter

      Pages 35-35

    2. No Access

      Chapter

      Pages 37-52

      Handling Complex Process Models Conditions Using First-Order Horn Clauses

    3. No Access

      Chapter

      Pages 53-67

      Business Rules Uncertainty Management with Probabilistic Relational Models

    4. No Access

      Chapter

      Pages 68-82

      A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees

    5. No Access

      Chapter

      Pages 83-96

      Controlling the Average Behavior of Business Rules Programs

    6. No Access

      Chapter

      Pages 97-112

      Bridge Rules for Reasoning in Component-Based Heterogeneous Environments

    7. No Access

      Chapter

      Pages 113-129

      Choreographic Compilation of Decentralized Comprehension Patterns

    8. No Access

      Chapter

      Pages 130-147

      Minimal Objectification and Maximal Unnesting in PSOA RuleML

  4. Smart Contracts, Blockchain and Rules

    1. Front Matter

      Pages 149-149

    2. No Access

      Chapter

      Pages 151-166

      Setting Standards for Altering and Undoing Smart Contracts

    3. No Access

      Chapter

      Pages 167-183

      Evaluation of Logic-Based Smart Contracts for Blockchain Systems

    4. No Access

      Chapter

      Pages 184-196

      Blockchain Temporality: Smart Contract Time Specifiability with Blocktime

  5. Constraint Handling Rules

    1. Front Matter

      Pages 197-197

    2. No Access

      Chapter

      Pages 199-207

      A Numerical Optimisation Based Characterisation of Spatial Reasoning

    3. No Access

      Chapter

      Pages 208-222

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

    4. No Access

      Chapter

      Pages 223-237

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

  6. Legal Rules and Reasoning

    1. Front Matter

      Pages 239-239

    2. No Access

      Chapter

      Pages 241-257

      Enabling Reasoning with LegalRuleML

    3. No Access

      Chapter

      Pages 258-266

      SBVR to OWL 2 Mapping in the Domain of Legal Rules

  7. Rule- and Ontology-Based Data Access and Transformation

    1. Front Matter

      Pages 267-267

    2. No Access

      Chapter

      Pages 269-286

      OBDA Constraints for Effective Query Answering

    3. No Access

      Chapter

      Pages 287-304

      A Framework Enhancing the User Search Activity Through Data Posting

  8. Rule Induction and Learning

    1. Front Matter

      Pages 305-305

    2. No Access

      Chapter

      Pages 307-321

      PRIMER – A Regression-Rule Learning System for Intervention Optimization

previous Page of 2