LEADER 04977nam 22008295 450 001 996215643403316 005 20200630124059.0 010 $a3-319-22002-0 024 7 $a10.1007/978-3-319-22002-4 035 $a(CKB)3710000000454217 035 $a(SSID)ssj0001558660 035 $a(PQKBManifestationID)16183761 035 $a(PQKBTitleCode)TC0001558660 035 $a(PQKBWorkID)14819225 035 $a(PQKB)10301115 035 $a(DE-He213)978-3-319-22002-4 035 $a(MiAaPQ)EBC6296176 035 $a(MiAaPQ)EBC5577681 035 $a(Au-PeEL)EBL5577681 035 $a(OCoLC)915157617 035 $a(PPN)18768894X 035 $a(EXLCZ)993710000000454217 100 $a20150721d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aWeb Reasoning and Rule Systems$b[electronic resource] $e9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. /$fedited by Balder ten Cate, Alessandra Mileo 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XVII, 131 p. 13 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9209 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-22001-2 327 $aTruth is a Lie: Rules & Semantics from Crowd Perspectives -- The Herbrand Manifesto: Thinking Inside the Box -- Extending Datalog Intelligence -- Analysis and Debugging of Ontology-based Data Access Specifications -- An Ontology for Historical Research Documents -- Semantic Views of Homogeneous Unstructured Data -- Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms -- Planning with Regression Analysis in Transaction Logic -- Web ontology representation and reasoning via fragments of set theory -- Allotment problem in travel industry: A solution based on ASP -- A Rule-based Framework for Creating Instance Data from OpenStreetMap -- Web Stream Reasoning in Practice: on the Expressivity vs. Scalability Tradeo -- A procedure for an Event-Condition-Transaction language. 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns basic tasks such as query answering and data transformations into complex reasoning problems. Rule-based systems have found many applications in this area. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest are: answer set programming, complex events, datalog, description logics, event-condition-action rules, information extraction, and logic programming. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9209 606 $aApplication software 606 $aInformation storage and retrieval 606 $aDatabase management 606 $aData mining 606 $aSoftware engineering 606 $aComputers 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 0$aDatabase management. 615 0$aData mining. 615 0$aSoftware engineering. 615 0$aComputers. 615 14$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 615 24$aDatabase Management. 615 24$aData Mining and Knowledge Discovery. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 676 $a025.04 702 $aten Cate$b Balder$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMileo$b Alessandra$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996215643403316 996 $aWeb Reasoning and Rule Systems$9772669 997 $aUNISA LEADER 02092nam0 2200397 i 450 001 RMG0028708 005 20251003044337.0 010 $a8814070296 100 $a20130827d1998 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aGiurisprudenza della Corte costituzionale italiana$edecisioni e orientamenti fondamentali, 1985-1996$fcon presentazione di Renato Granata$gintroduzione di Mauro Ferri$gcoordinamento di Enzo Cheli$ga cura di G. Amoroso ... [et al.!. -Milano : A. Giuffrè, 1998 215 $aXVIII, 1194 p.$d25 cm. 606 $aGiurisprudenza costituzionale$x1985-1996$2FIR$3CFIC103223$9I 676 $a342$9DIRITTO COSTITUZIONALE E AMMINISTRATIVO$v12 676 $a342.02$9STRUMENTI FONDAMENTALI DELLO STATO$v21 676 $a342.450202643$9COSTITUZIONI ED ALTRI STRUMENTI FONDAMENTALI DI GOVERNO. ITALIA. DECISIONI DEI TRIBUNALI$v19 676 $a342.450202643$9COSTITUZIONI ED ALTRI STRUMENTI FONDAMENTALI DI GOVERNO. ITALIA. Sentenze di tribunali$v21 676 $a342.45020269$9DIRITTO COSTITUZIONALE E AMMINISTRATIVO. STRUMENTI FONDAMENTALI DELLO STATO. TRIBUNALI E PROCEDURA$v22 702 1$aAmoroso$b, Giovanni$f <1949- >$3CFIV060172 702 1$aCheli$b, Enzo$3RAVV000551 710 02$aItalia$b : Corte costituzionale$3CFIV007611$4070$0257747 790 1$aAmoroso$b, G.$3CFIV333674$zAmoroso, Giovanni <1949- > 791 02$aCorte costituzionale$3CFIV022401$zItalia : Corte costituzionale 791 02$aCC$3CFIV259989$zItalia : Corte costituzionale 801 3$aIT$bIT-000000$c20130827 850 $aIT-BN0095 $aIT-NA0079 901 $bNAP 01$cD $n$ 901 $bNAP BN$cS.MOD $nLa consegna dei documenti è effettuata dall'Ufficio Distribuzione 912 $aRMG0028708 950 0$aBiblioteca Centralizzata di Ateneo$d 01D (AR) 23 908$e 01AR 0700239085 VMA A4 1 v.$fY $h19981119$i20181119 977 $a 01$a BN 996 $aGiurisprudenza della Corte costituzionale italiana$9578964 997 $aUNISANNIO