LEADER 04781nam  22007695  450 
001 9910739475103321
005 20200702121302.0
010   $a3-642-36008-4
024 7 $a10.1007/978-3-642-36008-4
035   $a(CKB)3400000000102976
035   $a(SSID)ssj0000880067
035   $a(PQKBManifestationID)11467979
035   $a(PQKBTitleCode)TC0000880067
035   $a(PQKBWorkID)10872914
035   $a(PQKB)10246981
035   $a(DE-He213)978-3-642-36008-4
035   $a(MiAaPQ)EBC3068796
035   $a(PPN)168329611
035   $a(EXLCZ)993400000000102976
100   $a20130107d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSemantics in Data and Knowledge Bases$b[electronic resource] $e5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers /$fedited by Klaus-Dieter Schewe, Bernhard Thalheim
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XII, 199 p. 18 illus.)
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v7693
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-36007-6 
320   $aIncludes bibliographical references and index.
327   $aSemantics and Pragmatics of Integrity Constraints -- Formal Modeling of Mobile Computing Systems Based on Ambient -- Abstract State Machines -- The Semantics of Models: A Semiotic Philosophy of Science Approach -- Content-Based Retrieval in Database Semantics: A Theoretical Foundation for Practical NLP -- Contextual Data Tailoring Using ASP -- Invariance Properties of the Constant-Complement View-Update Strategy -- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity -- Semantic Restrictions over Second-Order Logic.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zürich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v7693
606   $aDatabase management
606   $aData mining
606   $aInformation storage and retrieval
606   $aArtificial intelligence
606   $aApplication software
606   $aComputer simulation
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   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
615  0$aDatabase management.
615  0$aData mining.
615  0$aInformation storage and retrieval.
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aComputer simulation.
615 14$aDatabase Management.
615 24$aData Mining and Knowledge Discovery.
615 24$aInformation Storage and Retrieval.
615 24$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aSimulation and Modeling.
676   $a005.74
702   $aSchewe$b Klaus-Dieter$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aThalheim$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910739475103321
996   $aSemantics in Data and Knowledge Bases$9774094
997   $aUNINA