04262nam 22007575 450 991075139590332120231014123612.03-031-45072-810.1007/978-3-031-45072-3(MiAaPQ)EBC30787869(Au-PeEL)EBL30787869(DE-He213)978-3-031-45072-3(PPN)272913766(CKB)28505214300041(EXLCZ)992850521430004120231014d2023 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierRules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings /edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu1st ed. 2023.Cham :Springer Nature Switzerland :Imprint: Springer,2023.1 online resource (269 pages)Lecture Notes in Computer Science,1611-3349 ;14244Print version: Fensel, Anna Rules and Reasoning Cham : Springer,c2023 9783031450716 Papers -- 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.This 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. .Lecture Notes in Computer Science,1611-3349 ;14244Computer scienceInformation technologyManagementDatabase managementLogic programmingNatural language processing (Computer science)Expert systems (Computer science)Theory of ComputationComputer Application in Administrative Data ProcessingDatabase ManagementLogic in AINatural Language Processing (NLP)Knowledge Based SystemsComputer science.Information technologyManagement.Database management.Logic programming.Natural language processing (Computer science).Expert systems (Computer science).Theory of Computation.Computer Application in Administrative Data Processing.Database Management.Logic in AI.Natural Language Processing (NLP).Knowledge Based Systems.004.0151Fensel Anna1432930Ozaki Ana1432931Roman Dumitru1432932Soylu Ahmet1432933MiAaPQMiAaPQMiAaPQBOOK9910751395903321Rules and Reasoning3577996UNINA