000 04589nam a22006495i 4500
001 978-3-031-72407-7
003 DE-He213
005 20251030113042.0
007 cr nn 008mamaa
008 240914s2024 sz | s |||| 0|eng d
020 _a9783031724077
_9978-3-031-72407-7
024 7 _a10.1007/978-3-031-72407-7
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
245 1 0 _aRules and Reasoning
_h[electronic resource] :
_b8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings /
_cedited by Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXX, 250 p. 45 illus., 31 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v15183
505 0 _a -- 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.
520 _aThis 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.
650 0 _aComputer science.
_958552
650 0 _aInformation technology
_xManagement.
_957223
650 0 _aDatabase management.
_960571
650 0 _aLogic programming.
_966664
650 0 _aNatural language processing (Computer science).
_965131
650 0 _aExpert systems (Computer science).
_967822
650 1 4 _aTheory of Computation.
_967552
650 2 4 _aComputer Application in Administrative Data Processing.
_966531
650 2 4 _aDatabase Management.
_960571
650 2 4 _aLogic in AI.
_966665
650 2 4 _aNatural Language Processing (NLP).
_966164
650 2 4 _aKnowledge Based Systems.
_967823
700 1 _aKirrane, Sabrina.
_eeditor.
_0(orcid)0000-0002-6955-7718
_1https://orcid.org/0000-0002-6955-7718
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984300
700 1 _aŠimkus, Mantas.
_eeditor.
_0(orcid)0000-0003-0632-0294
_1https://orcid.org/0000-0003-0632-0294
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984301
700 1 _aSoylu, Ahmet.
_eeditor.
_0(orcid)0000-0001-6034-4137
_1https://orcid.org/0000-0001-6034-4137
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_984302
700 1 _aRoman, Dumitru.
_eeditor.
_0(orcid)0000-0001-6397-3705
_1https://orcid.org/0000-0001-6397-3705
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_952167
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031724060
776 0 8 _iPrinted edition:
_z9783031724084
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v15183
856 4 0 _uhttps://doi.org/10.1007/978-3-031-72407-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c63380
_d63380