LEADER 04262nam 22007575 450 001 9910751395903321 005 20231014123612.0 010 $a3-031-45072-8 024 7 $a10.1007/978-3-031-45072-3 035 $a(MiAaPQ)EBC30787869 035 $a(Au-PeEL)EBL30787869 035 $a(DE-He213)978-3-031-45072-3 035 $a(PPN)272913766 035 $a(CKB)28505214300041 035 $a(EXLCZ)9928505214300041 100 $a20231014d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRules and Reasoning $e7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18?20, 2023, Proceedings /$fedited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (269 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14244 311 08$aPrint version: Fensel, Anna Rules and Reasoning Cham : Springer,c2023 9783031450716 327 $aPapers -- Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment -- GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement -- Combining Proofs for Description Logic and Concrete Domain Reasoning -- Notation3 as an Existential Rule Language -- Fine-tuning Large Enterprise Language Models via Ontological Reasoning -- Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets -- Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs -- Marrying Query Rewriting and Knowledge Graph Embeddings -- Lore: Educational Deductive Database System -- Comparing State of the Art Rule-Based Tools for Information Extraction -- A Case Study for Declarative Pattern Mining in Digital Forensics -- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle -- FreeCHR: An Algebraic Framework for CHR-Embeddings -- Explaining the optimal trajectories -- Abstract Domains for Database Manipulating Processes -- Extracting Interpretable Hierarchical Rules from Deep Neural Networks? Latent Space. 330 $aThis book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18?20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14244 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 $aFensel$b Anna$01432930 701 $aOzaki$b Ana$01432931 701 $aRoman$b Dumitru$01432932 701 $aSoylu$b Ahmet$01432933 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910751395903321 996 $aRules and Reasoning$93577996 997 $aUNINA