Skip to main content
Springer Nature Link
Log in

Rules and Reasoning

7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Anna Fensel

    1. Wageningen University and Research, Wageningen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ana Ozaki

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dumitru Roman

    1. SINTEF AS/Oslo Metropolitan University, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Ahmet Soylu

    1. Oslo Metropolitan University, 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 14244)

Included in the following conference series:

Conference proceedings info: RuleML+RR 2023.

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

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 refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18–20, 2023.  

The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems.

 


Keywords

Table of contents (17 papers)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Knowledge Bases and Language Models: Complementing Forces

      • Fabian Suchanek, Anh Tuan Luu
      Pages 3-15

  3. Papers

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment

      • K. Darshana Abeyrathna, Sara El Mekkaoui, L. Yi Edward, Andreas Hafver, Ole-Christoffer Granmo
      Pages 19-33

    3. GUCON: A Generic Graph Pattern Based Policy Framework for Usage Control Enforcement

      • Ines Akaichi, Giorgos Flouris, Irini Fundulaki, Sabrina Kirrane
      Pages 34-53

    4. Combining Proofs for Description Logic and Concrete Domain Reasoning

      • Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
      Pages 54-69

    5. Notation3 as an Existential Rule Language

      • Dörthe Arndt, Stephan Mennicke
      Pages 70-85

    6. Fine-Tuning Large Enterprise Language Models via Ontological Reasoning

      • Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri, Andrea Colombo, Andrea Gentili, Emanuel Sallinger
      Pages 86-94

    7. Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets

      • Florian Beck, Johannes Fürnkranz, Van Quoc Phuong Huynh
      Pages 95-109

    8. Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs

      • Francesco Di Cosmo
      Pages 110-125

    9. Marrying Query Rewriting and Knowledge Graph Embeddings

      • Anders Imenes, Ricardo Guimarães, Ana Ozaki
      Pages 126-140

    10. Lore: Educational Deductive Database System

      • Leif Harald Karlsen
      Pages 141-156

    11. Comparing State of the Art Rule-Based Tools for Information Extraction

      • Domenico Lembo, Federico Maria Scafoglieri
      Pages 157-165

    12. A Case Study for Declarative Pattern Mining in Digital Forensics

      • Francesca Alessandra Lisi, Gioacchino Sterlicchio, David Billard
      Pages 166-174

    13. Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle

      • Kumar Manas, Adrian Paschke
      Pages 175-189

    14. FreeCHR: An Algebraic Framework for CHR-Embeddings

      • Sascha Rechenberger, Thom Frühwirth
      Pages 190-205

    15. Explaining Optimal Trajectories

      • Celine Rouveirol, Malik Kazi Aoual, Henry Soldano, Veronique Ventos
      Pages 206-221

    16. Abstract Domains for Database Manipulating Processes

      • Tobias Schüler, Stephan Mennicke, Malte Lochau
      Pages 222-237

    17. Extracting Interpretable Hierarchical Rules from Deep Neural Networks’ Latent Space

      • Ya Wang, Adrian Paschke
      Pages 238-253
Back to top

Other volumes

  1. Rules and Reasoning

Editors and Affiliations

  • Wageningen University and Research, Wageningen, The Netherlands

    Anna Fensel

  • University of Oslo, Oslo, Norway

    Ana Ozaki

  • SINTEF AS/Oslo Metropolitan University, Oslo, Norway

    Dumitru Roman

  • Oslo Metropolitan University, Oslo, Norway

    Ahmet Soylu

Bibliographic Information

Publish with us

Policies and ethics

Back to top