Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings /

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...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Kirrane, Sabrina (Éditeur intellectuel), Šimkus, Mantas (Éditeur intellectuel), Soylu, Ahmet (Éditeur intellectuel), Roman, Dumitru (Éditeur intellectuel)
Format: Électronique eBook
Langue:anglais
Publié: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Édition:1st ed. 2024.
Collection:Lecture Notes in Computer Science, 15183
Sujets:
Accès en ligne:https://doi.org/10.1007/978-3-031-72407-7
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Table des matières:
  • -- 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.