04589nam a22006495i 4500 978-3-031-72407-7 DE-He213 20251030113042.0 cr nn 008mamaa 240914s2024 sz | s |||| 0|eng d 9783031724077 978-3-031-72407-7 10.1007/978-3-031-72407-7 doi QA75.5-76.95 UYA bicssc COM014000 bisacsh UYA thema Rules and Reasoning [electronic resource] : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings / edited by Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XX, 250 p. 45 illus., 31 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 15183 -- 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. Computer science. 58552 Information technology Management. 57223 Database management. 60571 Logic programming. 66664 Natural language processing (Computer science). 65131 Expert systems (Computer science). 67822 Theory of Computation. 67552 Computer Application in Administrative Data Processing. 66531 Database Management. 60571 Logic in AI. 66665 Natural Language Processing (NLP). 66164 Knowledge Based Systems. 67823 Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 https://orcid.org/0000-0002-6955-7718 edt http://id.loc.gov/vocabulary/relators/edt 84300 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 https://orcid.org/0000-0003-0632-0294 edt http://id.loc.gov/vocabulary/relators/edt 84301 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 https://orcid.org/0000-0001-6034-4137 edt http://id.loc.gov/vocabulary/relators/edt 84302 Roman, Dumitru. editor. (orcid)0000-0001-6397-3705 https://orcid.org/0000-0001-6397-3705 edt http://id.loc.gov/vocabulary/relators/edt 52167 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031724060 Printed edition: 9783031724084 Lecture Notes in Computer Science, 1611-3349 ; 15183 https://doi.org/10.1007/978-3-031-72407-7 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 63380 63380