000 | 03476nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-21768-0 | ||
003 | DE-He213 | ||
005 | 20240730172626.0 | ||
007 | cr nn 008mamaa | ||
008 | 150710s2015 sz | s |||| 0|eng d | ||
020 |
_a9783319217680 _9978-3-319-21768-0 |
||
024 | 7 |
_a10.1007/978-3-319-21768-0 _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 |
_aReasoning Web. Web Logic Rules _h[electronic resource] : _b11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / _cedited by Wolfgang Faber, Adrian Paschke. |
250 | _a1st ed. 2015. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aIX, 333 p. 46 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 ; _v9203 |
|
505 | 0 | _aAll About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation and Applications -- Web Stream Reasoning: from Data Streams to Actionable Knowledge -- Recommender Systems and Linked Open Data -- The TPTP World - Infrastructure for Automated Reasoning -- PSOA Rule ML: Integrated Object-Relational Data and Rules -- Legal Rule ML: Design Principles and Foundations -- The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress -- Recent Advances in Datalog+/- -- Ontology-mediated query answering with data-tractable description logics -- Towards embedded Answer Set Solving -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications. | |
520 | _aThis volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic. | ||
650 | 0 |
_aDatabase management. _93157 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aMachine theory. _9104723 |
|
650 | 0 |
_aInformation storage and retrieval systems. _922213 |
|
650 | 0 |
_aApplication software. _9104727 |
|
650 | 1 | 4 |
_aDatabase Management. _93157 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9104730 |
650 | 2 | 4 |
_aInformation Storage and Retrieval. _923927 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _9104731 |
700 | 1 |
_aFaber, Wolfgang. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9104733 |
|
700 | 1 |
_aPaschke, Adrian. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9104734 |
|
710 | 2 |
_aSpringerLink (Online service) _9104736 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319217673 |
776 | 0 | 8 |
_iPrinted edition: _z9783319217697 |
830 | 0 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v9203 _9104738 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-21768-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c88443 _d88443 |