Overview

This book constitutes the proceedings of the 9th International Joint Conference on Rules and Reasoning, RuleML+RR 2025, held in Istanbul, Turkey, during September 22–24, 2025.The 12 full papers and 2 short papers included in this book were carefully reviewed and selected from 34 submissions. The proceedings also include 1 invited paper from a keynote speaker and 2 invited abstracts for keynotes. The 12 full and 2 short papers included in these proceedings were carefully reviewed and selected from 34 submissions. They focus on all subjects concerning theoretical advances, novel technologies, and innovative applications relating to knowledge representation and reasoning with rules.

Full Product Details

Author:   Aidan Hogan ,  Ken Satoh ,  Hasan Dağ ,  Anni-Yasmin Turhan
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032088864

ISBN 10:   3032088860
Pages:   258
Publication Date:   25 October 2025
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

Two Kinds of Rules: Goal Rules and Belief Rules.- Obligation Taxonomy in the Non-Markovian Situation Calculus.- A Novel Concept Induction Approach for Explainable Quality 4.0.- An Optimized Framework for DSPG Synthesis and Trust Network Analysis with Subjective Logic.- When Does Na¨ıve Evaluation Work for Datalog?- Scalable Evaluation of Rule-Based Recommender Systems: Algorithms and Benchmarks.- Rule2Text: Natural Language Explanation of Logical Rules in Knowledge Graphs.- Minimizing Side-effects in Virtual Knowledge Graph Updates.- Rule Extraction and Interaction-Aware Explainability for AI-Driven Malware Detection.- Probabilistic Answer Set Programming Driven Ranking of Dynamic Space-Time Belief Models.- Learning Interpretable Probabilistic Models and Schema Axioms for Knowledge Graphs.- Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization.- SPARQL in N3: SPARQL construct as a rule language for the Semantic Web.- Positioning LLM-enabled Agents as Legal Compliance Aides for Data Pipelines.- Learning to Contest Argumentative Claims.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions