Rules and Reasoning

9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings
Herausgegeben:Hogan, Aidan; Satoh, Ken; Dag, Hasan; Turhan, Anni-Yasmin; Roman, Dumitru; Soylu, Ahmet

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 16144
• Verlag: Springer, Berlin; Springer; Springer Nature Switzerla
• Artikelnr. des Verlages: 89550681
• Seitenzahl: 250
• Erscheinungstermin: 20. November 2025
• Englisch
• ISBN-13: 9783032088864
• ISBN-10: 3032088860
• Artikelnr.: 75416391

Inhaltsangabe

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.