Rules and Reasoning

9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings

AvAidan Hogan,Ken Satoh

Häftad, Engelska, 2025

Del i serien Lecture Notes in Computer Science

654 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2025-10-25
Mått:155 x 235 x 16 mm
Vikt:429 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:258
Förlag:Springer Nature Switzerland AG
ISBN:9783032088864

Utforska kategorier

Innehållsförteckning

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.