| 000 | 04017nam a22006255i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-36008-4 | ||
| 003 | DE-He213 | ||
| 005 | 20240730193634.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130107s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642360084 _9978-3-642-36008-4 |
||
| 024 | 7 |
_a10.1007/978-3-642-36008-4 _2doi |
|
| 050 | 4 | _aQA76.9.D3 | |
| 072 | 7 |
_aUN _2bicssc |
|
| 072 | 7 |
_aCOM021000 _2bisacsh |
|
| 072 | 7 |
_aUN _2thema |
|
| 082 | 0 | 4 |
_a005.74 _223 |
| 245 | 1 | 0 |
_aSemantics in Data and Knowledge Bases _h[electronic resource] : _b5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers / _cedited by Klaus-Dieter Schewe, Bernhard Thalheim. |
| 250 | _a1st ed. 2013. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
| 300 |
_aXII, 199 p. 18 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v7693 |
|
| 505 | 0 | _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. | |
| 520 | _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. | ||
| 650 | 0 |
_aDatabase management. _93157 |
|
| 650 | 0 |
_aData mining. _93907 |
|
| 650 | 0 |
_aInformation storage and retrieval systems. _922213 |
|
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 0 |
_aApplication software. _9154056 |
|
| 650 | 0 |
_aComputer simulation. _95106 |
|
| 650 | 1 | 4 |
_aDatabase Management. _93157 |
| 650 | 2 | 4 |
_aData Mining and Knowledge Discovery. _9154057 |
| 650 | 2 | 4 |
_aInformation Storage and Retrieval. _923927 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
| 650 | 2 | 4 |
_aComputer and Information Systems Applications. _9154058 |
| 650 | 2 | 4 |
_aComputer Modelling. _9154059 |
| 700 | 1 |
_aSchewe, Klaus-Dieter. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9154060 |
|
| 700 | 1 |
_aThalheim, Bernhard. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9154061 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9154062 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642360077 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642360091 |
| 830 | 0 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v7693 _9154063 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-36008-4 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c94804 _d94804 |
||