Skip to main content
  • Conference proceedings
  • © 2021

Rules and Reasoning

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

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

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

Conference series link(s): RuleML+RR: International Joint Conference on Rules and Reasoning

Conference proceedings info: RuleML+RR 2021.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-91167-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

    Pages i-xviii
  2. Full Papers

    1. Front Matter

      Pages 1-1
    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. 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
    8. 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
    9. Automatic Generation of Intelligent Chatbots from DMN Decision Models

      • Vedavyas Etikala, Alexandre Goossens, Ziboud Van Veldhoven, Jan Vanthienen
      Pages 142-157
    10. Deep Learning for the Identification of Decision Modelling Components from Text

      • Alexandre Goossens, Michelle Claessens, Charlotte Parthoens, Jan Vanthienen
      Pages 158-171
    11. Combining Sub-symbolic and Symbolic Methods for Explainability

      • Anna Himmelhuber, Stephan Grimm, Sonja Zillner, Mitchell Joblin, Martin Ringsquandl, Thomas Runkler
      Pages 172-187
    12. Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web

      • Guilherme Lima, Marcelo Machado, Rosario Uceda-Sosa, Marcio Moreno
      Pages 188-202
    13. Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification

      • Manolis Pitsikalis, Thanh-Toan Do, Alexei Lisitsa, Shan Luo
      Pages 203-217
    14. An Evaluation of Meta-reasoning over OWL 2 QL

      • Haya Majid Qureshi, Wolfgang Faber
      Pages 218-233
    15. cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp

      • Mark Thom, Harold Boley, Theodoros Mitsikas
      Pages 234-249
    16. 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

Other Volumes

  1. Rules and Reasoning

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

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.

Keywords

  • artificial intelligence
  • computer programming
  • computer science
  • computer systems
  • databases
  • education
  • engineering
  • formal languages
  • formal logic
  • fuzzy sets
  • internet
  • knowledge representation
  • knowledge-based system
  • linguistics
  • logic programming
  • machine learning
  • mathematics
  • ontologies
  • reasoning
  • semantics

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

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-91167-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)