000 | 03740nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-030-60067-9 | ||
003 | DE-He213 | ||
005 | 20240730174817.0 | ||
007 | cr nn 008mamaa | ||
008 | 201017s2020 sz | s |||| 0|eng d | ||
020 |
_a9783030600679 _9978-3-030-60067-9 |
||
024 | 7 |
_a10.1007/978-3-030-60067-9 _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. Declarative Artificial Intelligence _h[electronic resource] : _b16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures / _cedited by Marco Manna, Andreas Pieris. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aIX, 255 p. 25 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 ; _v12258 |
|
505 | 0 | _aIntroduction to Probabilistic Ontologies -- On the Complexity of Learning Description Logic Ontologies -- Explanation via Machine Arguing -- Stream Reasoning: From Theory to Practice -- First-Order Rewritability of Temporal Ontology-Mediated Queries -- An Introduction to Answer Set Programming and Some of Its Extensions -- Declarative Data Analysis using Limit Datalog Programs -- Knowledge Graphs: Research Directions. | |
520 | _aThe Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers. The broad theme of this year's summer school was "Declarative Artificial Intelligence" and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures have been presented during the school: Introduction to Probabilistic Ontologies, On the Complexity of Learning Description Logic Ontologies, Explanation via Machine Arguing, Stream Reasoning: From Theory to Practice, First-Order Rewritability of Temporal Ontology-Mediated Queries, An Introduction to Answer Set Programming and Some of Its Extensions, Declarative Data Analysis using Limit Datalog Programs, and Knowledge Graphs: Research Directions. | ||
650 | 0 |
_aDatabase management. _93157 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aApplication software. _9114178 |
|
650 | 0 |
_aComputers. _98172 |
|
650 | 0 |
_aNatural language processing (Computer science). _94741 |
|
650 | 1 | 4 |
_aDatabase Management. _93157 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _9114179 |
650 | 2 | 4 |
_aComputer Hardware. _933420 |
650 | 2 | 4 |
_aNatural Language Processing (NLP). _931587 |
700 | 1 |
_aManna, Marco. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9114180 |
|
700 | 1 |
_aPieris, Andreas. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9114181 |
|
710 | 2 |
_aSpringerLink (Online service) _9114182 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030600662 |
776 | 0 | 8 |
_iPrinted edition: _z9783030600686 |
830 | 0 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v12258 _9114183 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-60067-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c89634 _d89634 |