LEADER 01119nam0-2200349---450- 001 990009296850403321 005 20101213134240.0 010 $a978-88-568-0275-7 035 $a000929685 035 $aFED01000929685 035 $a(Aleph)000929685FED01 035 $a000929685 100 $a20101213d2008----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001cy 200 1 $aProgettare nella formazione e nel sociale$euna cassetta degli attrezzi per soluzioni concrete e interventi efficaci nel territorio$fRoberta Furlotti, Veronica Ceinar 210 $aMilano$cFrancoAngeli$d2008 215 $a115 p.$d30 cm 610 0 $aServizio sociale$aFormazione professionale 610 0 $aServizio sociale$aProgettazione 676 $a361.306$v22$zita 676 $a361.3071$v22$zita 700 1$aFurlotti,$bRoberta$0509653 701 1$aCeinar,$bVeronica$0509654 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009296850403321 952 $a361.3 FUR 1$b4060$fBFS 959 $aBFS 996 $aProgettare nella formazione e nel sociale$9770629 997 $aUNINA LEADER 06022nam 22008295 450 001 996199684403316 005 20200701082532.0 010 $a3-319-11113-2 024 7 $a10.1007/978-3-319-11113-1 035 $a(CKB)3710000000249757 035 $a(SSID)ssj0001354349 035 $a(PQKBManifestationID)11768831 035 $a(PQKBTitleCode)TC0001354349 035 $a(PQKBWorkID)11323835 035 $a(PQKB)11158559 035 $a(DE-He213)978-3-319-11113-1 035 $a(MiAaPQ)EBC6299019 035 $a(MiAaPQ)EBC5591345 035 $a(Au-PeEL)EBL5591345 035 $a(OCoLC)890803158 035 $a(PPN)181351773 035 $a(EXLCZ)993710000000249757 100 $a20140906d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aWeb Reasoning and Rule Systems$b[electronic resource] $e8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings /$fedited by Roman Kontchakov, Marie-Laure Mugnier 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVI, 256 p. 36 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v8741 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-11112-4 327 $aInvited Talks -- P 6= P: Why Some Reasoning Problems are More Tractable Than Others -- Semantic Technologies in Selected Industrial Applications -- Web Reasoning for Cultural Heritage -- Full Papers -- Planning with Transaction Logic -- A Generalization of Approximation Fixpoint Theory and Application -- Query Answering over Contextualized RDF/OWL Knowledge with For all-Existential Bridge Rules: Attaining Decidability using Acyclicity -- Exchange-Repairs: Managing Inconsistency in Data Exchange -- Rules and Ontology Based Data Access -- Technical Communications -- Semantic Search for Earth Observation Products using Ontology Services -- Airport Context Analytics -- Navigating among Educational Resources in the Web of Linked Data -- Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming -- Web Stream Reasoning Using Probabilistic Answer Set Programming -- Federated Debugging of Lightweight Ontologies -- Revisiting the Hardness of Query Answering in Expressive Description Logics -- An Ontology for Container Terminal Operations -- Posters -- Ontology-Based Answer Extraction Method -- Collective, Incremental Ontology Alignment Through Query Translation -- Disjunctive Constraints in RDF and Their Application to Context Schemas -- Linked Open Data in the Earth Observation Domain: the Vision of Project LEO -- Combining Fuzzy and Probabilistic Reasoning for Crowd-Sourced Categorization and Tagging -- Doctoral Consortium -- Visual Editor for Answer Set Programming: Preliminary Report -- Adaptive Stream Query Processing Approach for Linked Stream Data: Extended Abstract.-Combining Logic and Business Rule Systems. 330 $aThis book constitutes the refereed proceedings of the 8th International Conference on Web Reasoning and Rule Systems, RR 2014, held in Athens, Greece in September 2014. The 9 full papers, 9 technical communications  and 5 poster presentations presented together with 3 invited talks, 3 doctoral consortial papers were carefully reviewed and selected from 33 submissions. The conference covers a wide range of the following: semantic Web, rule and ontology languages, and related logics, reasoning, querying, searching and optimization, incompleteness, inconsistency and uncertainty, non-monotonic, common sense, and closed-world reasoning for the web, dynamic information, stream reasoning and complex event processing, decision making, planning, and intelligent agents, machine learning, knowledge extraction and information retrieval, data management, data integration and reasoning on the web of data, ontology-based data access, system descriptions, applications and experiences. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v8741 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 $aKontchakov$b Roman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMugnier$b Marie-Laure$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996199684403316 996 $aWeb Reasoning and Rule Systems$9772669 997 $aUNISA LEADER 02935nam 22006135 450 001 9910484085003321 005 20251226195221.0 010 $a3-319-11212-0 024 7 $a10.1007/978-3-319-11212-1 035 $a(MiAaPQ)EBC5586502 035 $a(MiAaPQ)EBC6282944 035 $a(PPN)180626477 035 $a(CKB)3710000000227401 035 $a(BIP)52465737 035 $a(DE-He213)978-3-319-11212-1 035 $a(EXLCZ)993710000000227401 100 $a20140814d2014 u| 0 101 0 $aeng 135 $aurnn#||8mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Security - ESORICS 2014 $e19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II /$fedited by Miroslaw Kutylowski, Jaideep Vaidya 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $axvi, 516p ;$cill 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v8713 300 $aIncludes index. 327 $aCryptography, formal methods and theory of security -- Security services -- Intrusion/anomaly detection and malware mitigation -- Security in hardware -- Systems security -- Network security -- Database and storage security -- Software and application security -- Human and societal aspects of security and privacy. 330 $aThe two-volume set, LNCS 8712 and LNCS 8713 constitutes the refereed proceedings of the 19th European Symposium on Research in Computer Security, ESORICS 2014, held in Wroclaw, Poland, in September 2014 The 58 revised full papers presented were carefully reviewed and selected from 234 submissions. The papers address issues such as cryptography, formal methods and theory of security, security services, intrusion/anomaly detection and malware mitigation, security in hardware, systems security, network security, database and storage security, software and application security, human and societal aspects of security and privacy. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v8713 606 $aData protection 606 $aCryptography 606 $aData encryption (Computer science) 606 $aElectronic data processing$xManagement 606 $aData and Information Security 606 $aCryptology 606 $aIT Operations 615 0$aData protection. 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aElectronic data processing$xManagement. 615 14$aData and Information Security. 615 24$aCryptology. 615 24$aIT Operations. 676 $a005.8 701 $aKutylowski$b Miroslaw$01350545 701 $aVaidya$b Jaideep$01276751 801 0$bMiAaPQ 801 2$bta 906 $aBOOK 912 $a9910484085003321 996 $aComputer Security - ESORICS 2014$93088786 997 $aUNINA