© 2016

Rule Technologies. Research, Tools, and Applications

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

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

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9718)

Table of contents

  1. Front Matter
    Pages I-XXV
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Neng-Fa Zhou
      Pages 3-18
    3. Harold Boley
      Pages 19-33
  3. General RuleML Track

    1. Front Matter
      Pages 35-35
    2. Hamza Agli, Philippe Bonnard, Christophe Gonzales, Pierre-Henri Wuillemin
      Pages 53-67
    3. Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
      Pages 68-82
    4. Olivier Wang, Leo Liberti, Claudia D’Ambrosio, Christian de Sainte Marie, Changhai Ke
      Pages 83-96
    5. Stefania Costantini, Giovanni De Gasperis
      Pages 97-112
    6. Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar
      Pages 113-129
  4. Smart Contracts, Blockchain and Rules

    1. Front Matter
      Pages 149-149
    2. Bill Marino, Ari Juels
      Pages 151-166
    3. Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor
      Pages 167-183
  5. Constraint Handling Rules

About these proceedings


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. 


description logics knowledge reasoning logic programming markup languages ontologies

Editors and affiliations

  • Jose Julio Alferes
    • 1
  • Leopoldo Bertossi
    • 2
  • Guido Governatori
    • 3
  • Paul Fodor
    • 4
  • Dumitru Roman
    • 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