|
|
|
|
| LEADER |
03617nam a22005775i 4500 |
| 001 |
978-3-642-36008-4 |
| 003 |
DE-He213 |
| 005 |
20151103122728.0 |
| 007 |
cr nn 008mamaa |
| 008 |
130107s2013 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783642360084
|9 978-3-642-36008-4
|
| 024 |
7 |
|
|a 10.1007/978-3-642-36008-4
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.9.D3
|
| 072 |
|
7 |
|a UN
|2 bicssc
|
| 072 |
|
7 |
|a UMT
|2 bicssc
|
| 072 |
|
7 |
|a COM021000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.74
|2 23
|
| 245 |
1 |
0 |
|a Semantics in Data and Knowledge Bases
|h [electronic resource] :
|b 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers /
|c edited by Klaus-Dieter Schewe, Bernhard Thalheim.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2013.
|
| 300 |
|
|
|a XII, 199 p. 18 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 7693
|
| 505 |
0 |
|
|a Semantics 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.
|
| 520 |
|
|
|a This 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Database management.
|
| 650 |
|
0 |
|a Data mining.
|
| 650 |
|
0 |
|a Information storage and retrieval.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Computer simulation.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Database Management.
|
| 650 |
2 |
4 |
|a Data Mining and Knowledge Discovery.
|
| 650 |
2 |
4 |
|a Information Storage and Retrieval.
|
| 650 |
2 |
4 |
|a Artificial Intelligence (incl. Robotics).
|
| 650 |
2 |
4 |
|a Information Systems Applications (incl. Internet).
|
| 650 |
2 |
4 |
|a Simulation and Modeling.
|
| 700 |
1 |
|
|a Schewe, Klaus-Dieter.
|e editor.
|
| 700 |
1 |
|
|a Thalheim, Bernhard.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642360077
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 7693
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-36008-4
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
