Skip to main content
Springer Nature Link
Log in

Rules and Reasoning

4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Víctor Gutiérrez-Basulto

    1. School of Computer Science and Informatics, Cardiff University, Cardiff, UK

  2. Tomáš Kliegr

    1. University of Economics, Prague, Prague, Czech Republic

  3. Ahmet Soylu

    1. Norwegian University of Science and Technology, Gjøvik, Norway

  4. Martin Giese

    1. Department Of Informatics, University of Oslo, Oslo, Norway

  5. Dumitru Roman

    1. SINTEF AS, Oslo, Norway

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

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

Included in the following conference series:

Conference proceedings info: RuleML+RR 2020.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th 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 7 full research papers presented together with 6 short technical communications papers were carefully reviewed and selected from 30 submissions.

*The conference was held virtually due to the COVID-19 pandemic.


Similar content being viewed by others

Keywords

Table of contents (14 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Rule-Based Multi-label Classification: Challenges and Opportunities

      • Eyke Hüllermeier, Johannes Fürnkranz, Eneldo Loza Mencia, Vu-Linh Nguyen, Michael Rapp
      Pages 3-19

  3. Full Papers

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning

      • Bram Aerts, Simon Vandevelde, Joost Vennekens
      Pages 23-38

    3. Query Answering in Fuzzy DL-Lite with Graded Axioms

      • Gabriella Pasi, Rafael Peñaloza
      Pages 39-53

    4. New Rule Induction Method by Use of a Co-occurrence Set from the Decision Table

      • Yuichi Kato, Tetsuro Saeki
      Pages 54-69

    5. An ASP-Based Approach to Counterfactual Explanations for Classification

      • Leopoldo Bertossi
      Pages 70-81

    6. Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases

      • Robert Schaffenrath, Daniel Proksch, Markus Kopp, Iacopo Albasini, Oleksandra Panasiuk, Anna Fensel
      Pages 82-96

    7. Dialogue Games for Explaining Medication Choices

      • Qurat-ul-ain Shaheen, Alice Toniolo, Juliana K. F. Bowles
      Pages 97-111

    8. Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying

      • Mark Thom, Harold Boley, Theodoros Mitsikas
      Pages 112-128

  4. Technical Communication Papers

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Reasoning Under Uncertainty in Knowledge Graphs

      • Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger, Evgeny Sherkhonov
      Pages 131-139

    3. Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies

      • Arash Karimi, Jia-Huai You
      Pages 140-149

    4. Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs

      • Ginés Moreno, José A. Riaza
      Pages 150-158

    5. Contestable Black Boxes

      • Andrea Aler Tubella, Andreas Theodorou, Virginia Dignum, Loizos Michael
      Pages 159-167

    6. On Defining Rules for Cancer Data Fabrication

      • Juliana K. F. Bowles, Agastya Silvina, Eyal Bin, Michael Vinov
      Pages 168-176

    7. On the Formal Representation of the Australian Spent Conviction Scheme

      • Guido Governatori, Pompeu Casanovas Romeu, Louis de Koker
      Pages 177-185

  5. Back Matter

    Pages 187-187
    Download chapter PDF
Back to top

Other volumes

  1. Rules and Reasoning

Editors and Affiliations

  • School of Computer Science and Informatics, Cardiff University, Cardiff, UK

    Víctor Gutiérrez-Basulto

  • University of Economics, Prague, Prague, Czech Republic

    Tomáš Kliegr

  • Norwegian University of Science and Technology, Gjøvik, Norway

    Ahmet Soylu

  • Department Of Informatics, University of Oslo, Oslo, Norway

    Martin Giese

  • SINTEF AS, Oslo, Norway

    Dumitru Roman

Bibliographic Information

Publish with us

Policies and ethics

Back to top