
Rules and Reasoning
7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Springer (Publisher)
Published on 15. October 2023
Book
Paperback/Softback
XXII, 255 pages
978-3-031-45071-6 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2023
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
20 s/w Abbildungen, 39 farbige Abbildungen
XXII, 255 p. 59 illus., 39 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 16 mm
Weight
429 gr
ISBN-13
978-3-031-45071-6 (9783031450716)
DOI
10.1007/978-3-031-45072-3
Schweitzer Classification
Content
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.