LEADER 00794nam0-22002651i-450-
001 990007708490403321
035   $a000770849
035   $aFED01000770849
035   $a(Aleph)000770849FED01
035   $a000770849
100   $a20021010d--------km-y0itay50------ba
101 0 $aita
200 1 $aProprietà e impresa$eriflessioni suoi procedimenti e costitutivi dei beni minerari e del regime amministrativodell'imprea$fFrancesco Paolo Pugliese
210   $aMilano$cGiuffrè$d1972
215   $a229 p.$d24 cm
676   $a346
700  1$aPugliese,$bFrancesco Paolo$039918
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990007708490403321
952   $a19-D-19$b63$fDDCP
959   $aDDCP
996   $aProprietà e impresa$9682609
997   $aUNINA
DB    $aGEN01

LEADER 04072nam  22007215  450 
001 9910887884203321
005 20250825210155.0
010   $a3-031-72407-0
024 7 $a10.1007/978-3-031-72407-7
035   $a(CKB)35369706700041
035   $a(MiAaPQ)EBC31679495
035   $a(Au-PeEL)EBL31679495
035   $a(DE-He213)978-3-031-72407-7
035   $a(EXLCZ)9935369706700041
100   $a20240914d2024      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRules and Reasoning $e8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16?18, 2024, Proceedings /$fedited by Sabrina Kirrane, Mantas ?imkus, Ahmet Soylu, Dumitru Roman
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (268 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15183
300   $aIncludes index.
311 08$a3-031-72406-2 
327   $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.
330   $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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15183
606   $aComputer science
606   $aInformation technology$xManagement
606   $aDatabase management
606   $aLogic programming
606   $aNatural language processing (Computer science)
606   $aExpert systems (Computer science)
606   $aTheory of Computation
606   $aComputer Application in Administrative Data Processing
606   $aDatabase Management
606   $aLogic in AI
606   $aNatural Language Processing (NLP)
606   $aKnowledge Based Systems
615  0$aComputer science.
615  0$aInformation technology$xManagement.
615  0$aDatabase management.
615  0$aLogic programming.
615  0$aNatural language processing (Computer science)
615  0$aExpert systems (Computer science)
615 14$aTheory of Computation.
615 24$aComputer Application in Administrative Data Processing.
615 24$aDatabase Management.
615 24$aLogic in AI.
615 24$aNatural Language Processing (NLP).
615 24$aKnowledge Based Systems.
676   $a004.015113
702   $aKirrane$b Sabrina
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910887884203321
996   $aRules and Reasoning$92585543
997   $aUNINA