8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings Kirrane, Sabrina. editor. edt http://id.loc.gov/vocabulary/relators/edt Šimkus, Mantas. editor. edt http://id.loc.gov/vocabulary/relators/edt Soylu, Ahmet. editor. edt http://id.loc.gov/vocabulary/relators/edt Roman, Dumitru. editor. edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) text sz 2024 1st ed. 2024. monographic eng

electronic

electronic resource

access XX, 250 p. 45 illus., 31 illus. in color. online resource. 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. -- 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. edited by Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman. Computer science Information technology Management Database management Logic programming Natural language processing (Computer science) Expert systems (Computer science) Theory of Computation Computer Application in Administrative Data Processing Database Management Logic in AI Natural Language Processing (NLP) Knowledge Based Systems QA75.5-76.95 9783031724077 https://doi.org/10.1007/978-3-031-72407-7 https://doi.org/10.1007/978-3-031-72407-7 240914 20251030113042.0 978-3-031-72407-7