LEADER 02933nam 2200529 450 001 9910427703503321 005 20220207155541.0 010 $a3-030-60067-X 024 7 $a10.1007/978-3-030-60067-9 035 $a(CKB)4100000011515617 035 $a(DE-He213)978-3-030-60067-9 035 $a(MiAaPQ)EBC6380790 035 $a(MiAaPQ)EBC6644074 035 $a(Au-PeEL)EBL6380790 035 $a(OCoLC)1228046420 035 $a(Au-PeEL)EBL6644074 035 $a(PPN)255064705 035 $a(EXLCZ)994100000011515617 100 $a20220207d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aReasoning web$hDeclarative artificial intelligence $e16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial lectures /$fMarco Manna, Andreas Pieris (editors) 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$dİ2020 215 $a1 online resource (IX, 255 p. 25 illus.) 225 1 $aLecture notes in computer science ;$v12258 300 $aIncludes index. 311 $a3-030-60066-1 327 $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. 330 $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. 410 0$aLecture notes in computer science ;$v12258. 606 $aSemantic Web$vCongresses 615 0$aSemantic Web 676 $a025.04 702 $aManna$b Marco 702 $aPieris$b Andreas 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427703503321 996 $aReasoning Web$9772295 997 $aUNINA