Hogan / Satoh / Dag Rules and Reasoning

9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings
Erscheinungsjahr 2025
ISBN: 978-3-032-08887-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 258 Seiten

Reihe: Computer Science (R0)

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.

Zielgruppe

Research

Autoren/Hrsg.

Hogan, Aidan

Satoh, Ken

Dag, Hasan

Turhan, Anni-Yasmin

Roman, Dumitru

Soylu, Ahmet

Inhaltsverzeichnis

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¨ive 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.