| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910887884203321 |
|
|
Titolo |
Rules and Reasoning : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings / / edited by Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (268 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15183 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
-- 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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |