Rules and Reasoning

8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16¿18, 2024, Proceedings
Herausgegeben:Kirrane, Sabrina; Simkus, Mantas; Soylu, Ahmet; Roman, Dumitru

• Broschiertes Buch

Produktbeschreibung

This book constitutes the proceedings of the 8th International Joint Conference on Rules and Reasoning, RuleML+RR 2024, held in Bucharest, Romania, during September 16-18, 2024.
The 12 full papers and 4 short papers included in this book were carefully reviewed and selected from 35 submissions.
The RuleML+RR symposia were devoted to disseminating research, applications, languages, and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and to industrial applications.

Produktdetails

• Lecture Notes in Computer Science 15183
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-72406-0
• 2024
• Seitenzahl: 272
• Erscheinungstermin: 15. September 2024
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 417g
• ISBN-13: 9783031724060
• ISBN-10: 3031724062
• Artikelnr.: 71461680

Inhaltsangabe

.- Using Answer Set Programming for Integrity Maintenance in a Smart Home System.
.- Collaborative Benchmarking Rule-Reasoners with B-Runner.
.- Rule Confidence Aggregation for Knowledge Graph Completion.
.- RIFF: Inducing Rules for Fraud Detection from Decision Trees.
.- Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.
.- Reevaluation of Inductive Link Prediction.
.- Judicial Explanations.
.- OntoRaster: Extending VKGs with Raster Data.
.- Complete Approximations of Incomplete Queries.
.- Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.
.- A Benchmark for Rule Induction in Automated Business Decisions.
.- Revising Defeasible Theories via Instructions.
.- FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.
.- RDF Surfaces as a First-Order language for the Semantic Web.
.- Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.
.- Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.