000 04288nam a22006495i 4500
001 978-3-031-45072-3
003 DE-He213
005 20240730201503.0
007 cr nn 008mamaa
008 231014s2023 sz | s |||| 0|eng d
020 _a9783031450723
_9978-3-031-45072-3
024 7 _a10.1007/978-3-031-45072-3
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aRules and Reasoning
_h[electronic resource] :
_b7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings /
_cedited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXXII, 255 p. 59 illus., 39 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 ;
_v14244
505 0 _aPapers -- Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment -- GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement -- Combining Proofs for Description Logic and Concrete Domain Reasoning -- Notation3 as an Existential Rule Language -- Fine-tuning Large Enterprise Language Models via Ontological Reasoning -- Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets -- Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs -- Marrying Query Rewriting and Knowledge Graph Embeddings -- Lore: Educational Deductive Database System -- Comparing State of the Art Rule-Based Tools for Information Extraction -- A Case Study for Declarative Pattern Mining in Digital Forensics -- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle -- FreeCHR: An Algebraic Framework for CHR-Embeddings -- Explaining the optimal trajectories -- Abstract Domains for Database Manipulating Processes -- Extracting Interpretable Hierarchical Rules from Deep Neural Networks' Latent Space.
520 _aThis book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18-20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. .
650 0 _aComputer science.
_99832
650 0 _aInformation technology
_xManagement.
_95368
650 0 _aDatabase management.
_93157
650 0 _aLogic programming.
_92730
650 0 _aNatural language processing (Computer science).
_94741
650 0 _aExpert systems (Computer science).
_93392
650 1 4 _aTheory of Computation.
_9167375
650 2 4 _aComputer Application in Administrative Data Processing.
_931588
650 2 4 _aDatabase Management.
_93157
650 2 4 _aLogic in AI.
_933012
650 2 4 _aNatural Language Processing (NLP).
_931587
650 2 4 _aKnowledge Based Systems.
_979172
700 1 _aFensel, Anna.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9167376
700 1 _aOzaki, Ana.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9167377
700 1 _aRoman, Dumitru.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9167378
700 1 _aSoylu, Ahmet.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9167379
710 2 _aSpringerLink (Online service)
_9167380
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031450716
776 0 8 _iPrinted edition:
_z9783031450730
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14244
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-45072-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96557
_d96557