LEADER 04581nam 22007695 450 001 996691680703316 005 20251025130411.0 010 $a9783032088871$b(electronic bk.) 010 $z9783032088864 024 7 $a10.1007/978-3-032-08887-1 035 $a(MiAaPQ)EBC32375445 035 $a(Au-PeEL)EBL32375445 035 $a(CKB)41732131200041 035 $a(DE-He213)978-3-032-08887-1 035 $a(EXLCZ)9941732131200041 100 $a20251025d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRules and Reasoning $e9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22?24, 2025, Proceedings /$fedited by Aidan Hogan, Ken Satoh, Hasan Da?, Anni-Yasmin Turhan, Dumitru Roman, Ahmet Soylu 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (451 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16144 311 08$aPrint version: Hogan, Aidan Rules and Reasoning Cham : Springer,c2025 9783032088864 327 $aTwo 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v16144 606 $aComputer science 606 $aInformation technology$xManagement 606 $aDatabase management 606 $aLogic programming 606 $aNatural language processing (Computer science) 606 $aExpert systems (Computer science) 606 $aTheory of Computation 606 $aComputer Application in Administrative Data Processing 606 $aDatabase Management 606 $aLogic in AI 606 $aNatural Language Processing (NLP) 606 $aKnowledge Based Systems 615 0$aComputer science. 615 0$aInformation technology$xManagement. 615 0$aDatabase management. 615 0$aLogic programming. 615 0$aNatural language processing (Computer science) 615 0$aExpert systems (Computer science) 615 14$aTheory of Computation. 615 24$aComputer Application in Administrative Data Processing. 615 24$aDatabase Management. 615 24$aLogic in AI. 615 24$aNatural Language Processing (NLP). 615 24$aKnowledge Based Systems. 676 $a004.0151 700 $aHogan$b Aidan$0883092 701 $aSatoh$b Ken$01377132 701 $aDa?$b Hasan$01860637 701 $aTurhan$b Anni-Yasmin$01272784 701 $aRoman$b Dumitru$01432932 701 $aSoylu$b Ahmet$01432933 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a996691680703316 996 $aRules and Reasoning$94466391 997 $aUNISA