Rules and reasoning 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Joint Conference on Rules and Reasoning (VerfasserIn)
Weitere Verfasser:	Kirrane, Sabrina (HerausgeberIn), Šimkus, Mantas (HerausgeberIn), Soylu, Ahmet (HerausgeberIn), Roman, Dumitru (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 15183
Schlagworte:	Artificial intelligence > COMPUTERS / Artificial Intelligence > COMPUTERS / Computer Science > COMPUTERS / Database Management / General > COMPUTERS / Expert Systems > COMPUTERS / Machine Theory > COMPUTERS / Natural Language Processing > Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften > Computerprogrammierung und Softwareentwicklung > Databases > Datenbanken > Expert systems / knowledge-based systems > Information technology: general issues > Künstliche Intelligenz > Mathematical theory of computation > Natural language & machine translation > Natürliche Sprachen und maschinelle Übersetzung > Social research & statistics > Theoretische Informatik > Wissensbasierte Systeme, Expertensysteme > Konferenzschrift
Online Zugang:	Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Beschreibung
Zusammenfassung:	.- 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. 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
Beschreibung:	Literaturangaben
Beschreibung:	xx, 250 Seiten Diagramme
ISBN:	9783031724060 978-3-031-72406-0