Skip to main content
SpringerLink
Log in

Rules and Reasoning

5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Sotiris Moschoyiannis

    1. University of Surrey, Guildford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rafael Peñaloza

    1. University of Milano-Bicocca, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jan Vanthienen

    1. KU Leuven, Leuven, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Ahmet Soylu

    1. OsloMet – Oslo Metropolitan University, Oslo, Norway

    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 12851)

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

Included in the following conference series:

Conference proceedings info: RuleML+RR 2021.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (19 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Policy-Based Automated Compliance Checking

      • Anas Al Bassit, Katsiaryna Krasnashchok, Sabri Skhiri, Majd Mustapha
      Pages 3-17

    3. Correctness of Automatically Generated Choreography Specifications

      • Nurulhuda A. Manaf, Nor Najihah Zainal Abidin, Nur Amalina Jamaludin
      Pages 18-32

    4. Conflict-Free Access Rules for Sharing Smart Patient Health Records

      • Matthew Banton, Juliana Bowles, Agastya Silvina, Thais Webber
      Pages 33-47

    5. Structuring Rule Sets Using Binary Decision Diagrams

      • Florian Beck, Johannes Fürnkranz, Van Quoc Phuong Huynh
      Pages 48-61

    6. Link Traversal with Distributed Subweb Specifications

      • Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
      Pages 62-79

    7. Event-Based Microcontroller Programming in Datalog

      • Stefan Brass
      Pages 80-94

    8. Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images

      • Pierangela Bruno, Francesco Calimeri, Cinzia Marte, Marco Manna
      Pages 95-110

    9. A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling

      • Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea et al.
      Pages 111-125

    10. An Answer Set Programming Based Framework for High-Utility Pattern Mining Extended with Facets and Advanced Utility Functions

      • Francesco Cauteruccio, Giorgio Terracina
      Pages 126-141

    11. Automatic Generation of Intelligent Chatbots from DMN Decision Models

      • Vedavyas Etikala, Alexandre Goossens, Ziboud Van Veldhoven, Jan Vanthienen
      Pages 142-157

    12. Deep Learning for the Identification of Decision Modelling Components from Text

      • Alexandre Goossens, Michelle Claessens, Charlotte Parthoens, Jan Vanthienen
      Pages 158-171

    13. Combining Sub-symbolic and Symbolic Methods for Explainability

      • Anna Himmelhuber, Stephan Grimm, Sonja Zillner, Mitchell Joblin, Martin Ringsquandl, Thomas Runkler
      Pages 172-187

    14. Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web

      • Guilherme Lima, Marcelo Machado, Rosario Uceda-Sosa, Marcio Moreno
      Pages 188-202

    15. Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification

      • Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
      Pages 203-217

    16. An Evaluation of Meta-reasoning over OWL 2 QL

      • Haya Majid Qureshi, Wolfgang Faber
      Pages 218-233

    17. cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp

      • Mark Thom, Harold Boley, Theodoros Mitsikas
      Pages 234-249

    18. Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API

      • Simon Vandevelde, Vedavyas Etikala, Jan Vanthienen, Joost Vennekens
      Pages 250-263

  3. Technical Communication Papers

    1. Front Matter

      Pages 265-265
      Download chapter PDF
Back to top

Other volumes

  1. Rules and Reasoning

Keywords

About this book

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021. This is the 5th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).

The 17 full research papers presented together with 2 short technical communications papers and 2 abstracts of invited papers were carefully reviewed and selected from 39 submissions.

Editors and Affiliations

  • University of Surrey, Guildford, UK

    Sotiris Moschoyiannis

  • University of Milano-Bicocca, Milano, Italy

    Rafael Peñaloza

  • KU Leuven, Leuven, Belgium

    Jan Vanthienen

  • OsloMet – Oslo Metropolitan University, Oslo, Norway

    Ahmet Soylu

  • SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation