001482448 000__ 04488cam\\22006857i\4500
001482448 001__ 1482448
001482448 003__ OCoLC
001482448 005__ 20231128003336.0
001482448 006__ m\\\\\o\\d\\\\\\\\
001482448 007__ cr\un\nnnunnun
001482448 008__ 231018s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001482448 019__ $$a1404446100
001482448 020__ $$a9783031450723$$q(electronic bk.)
001482448 020__ $$a3031450728$$q(electronic bk.)
001482448 020__ $$z9783031450716
001482448 020__ $$z303145071X
001482448 0247_ $$a10.1007/978-3-031-45072-3$$2doi
001482448 035__ $$aSP(OCoLC)1404449153
001482448 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dYDX$$dOCLCF$$dOCLCO
001482448 049__ $$aISEA
001482448 050_4 $$aQA76.9.L63$$bR85 2023
001482448 08204 $$a005.101/5113$$223/eng/20231018
001482448 1112_ $$aRuleML+RR (Joint Conference)$$n(7th :$$d2023 :$$cOslo, Norway)
001482448 24510 $$aRules and reasoning :$$b7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings /$$cAnna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu, editors.
001482448 2463_ $$aRuleML+RR 2023
001482448 264_1 $$aCham :$$bSpringer,$$c2023.
001482448 300__ $$a1 online resource (xxii, 255 pages) :$$billustrations (some color).
001482448 336__ $$atext$$btxt$$2rdacontent
001482448 337__ $$acomputer$$bc$$2rdamedia
001482448 338__ $$aonline resource$$bcr$$2rdacarrier
001482448 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14244
001482448 500__ $$aIncludes author index.
001482448 5050_ $$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.
001482448 506__ $$aAccess limited to authorized users.
001482448 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.
001482448 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 18, 2023).
001482448 650_6 $$aLogique informatique$$vCongrès.
001482448 650_6 $$aProgrammation à base de règles$$vCongrès.
001482448 650_6 $$aProgrammation logique$$vCongrès.
001482448 650_6 $$aGénie logiciel$$vCongrès.
001482448 650_0 $$aComputer logic$$vCongresses.$$vCongresses$$0(DLC)sh2009121216
001482448 650_0 $$aRule-based programming$$vCongresses.$$0(DLC)sh 88003529
001482448 650_0 $$aLogic programming$$vCongresses.$$vCongresses$$0(DLC)sh2008107111
001482448 650_0 $$aSoftware engineering$$vCongresses.$$vCongresses$$0(DLC)sh2008111658
001482448 655_0 $$aElectronic books.
001482448 655_7 $$aConference papers and proceedings$$2fast
001482448 7001_ $$aFensel, Anna,$$eeditor.$$0(orcid)0000-0002-1391-7104$$1https://orcid.org/0000-0002-1391-7104
001482448 7001_ $$aOzaki, Ana,$$eeditor.$$0(orcid)0000-0002-3889-6207$$1https://orcid.org/0000-0002-3889-6207
001482448 7001_ $$aRoman, Dumitru$$c(Research scientist),$$eeditor.
001482448 7001_ $$aSoylu, Ahmet,$$eeditor.
001482448 77608 $$iPrint version: $$z303145071X$$z9783031450716$$w(OCoLC)1395178660
001482448 830_0 $$aLecture notes in computer science ;$$v14244.$$x1611-3349
001482448 852__ $$bebk
001482448 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-45072-3$$zOnline Access$$91397441.1
001482448 909CO $$ooai:library.usi.edu:1482448$$pGLOBAL_SET
001482448 980__ $$aBIB
001482448 980__ $$aEBOOK
001482448 982__ $$aEbook
001482448 983__ $$aOnline
001482448 994__ $$a92$$bISE