國立虎尾科技大學 |

Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Reasoning Web. Declarative Artificial Intelligence/ edited by Marco Manna, Andreas Pieris.
其他題名:	16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
其他作者:	Pieris, Andreas.
面頁冊數:	IX, 255 p. 25 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Natural Language Processing (NLP). -
電子資源:	https://doi.org/10.1007/978-3-030-60067-9
ISBN:	9783030600679

Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
Reasoning Web. Declarative Artificial Intelligence16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /[electronic resource] :edited by Marco Manna, Andreas Pieris. - 1st ed. 2020. - IX, 255 p. 25 illus.online resource. - Information Systems and Applications, incl. Internet/Web, and HCI ;12258. - Information Systems and Applications, incl. Internet/Web, and HCI ;9149.

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 -- Knowledge Graphs: Research Directions.

The 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.

ISBN: 9783030600679

Standard No.: 10.1007/978-3-030-60067-9doiSubjects--Topical Terms:

1254293
Natural Language Processing (NLP).

LC Class. No.: QA76.9.D3

Dewey Class. No.: 005.74

Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
LDR:02858nam a22004215i 4500 001 1030606
003 DE-He213
005 20201017134034.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030600679 $9 978-3-030-60067-9
024 7 $a 10.1007/978-3-030-60067-9 $2 doi
035 $a 978-3-030-60067-9
050 4 $a QA76.9.D3
072 7 $a UN $2 bicssc
072 7 $a COM021000 $2 bisacsh
072 7 $a UN $2 thema
072 7 $a UMT $2 thema
082 0 4 $a 005.74 $2 23
245 1 0 $a Reasoning Web. Declarative Artificial Intelligence $h [electronic resource] : $b 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures / $c edited by Marco Manna, Andreas Pieris.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a IX, 255 p. 25 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 Information Systems and Applications, incl. Internet/Web, and HCI ; $v 12258
505 0 $a 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 -- Knowledge Graphs: Research Directions.
520 $a The 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 2 4 $a Natural Language Processing (NLP). $3 1254293
650 2 4 $a Computer Hardware. $3 669779
650 2 4 $a Computer Applications. $3 669785
650 2 4 $a Artificial Intelligence. $3 646849
650 1 4 $a Database Management. $3 669820
650 0 $a Natural language processing (Computer science). $3 802180
650 0 $a Computer hardware. $3 1069242
650 0 $a Application software. $3 528147
650 0 $a Artificial intelligence. $3 559380
650 0 $a Database management. $3 557799
700 1 $a Pieris, Andreas. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327550
700 1 $a Manna, Marco. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1226874
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030600662
776 0 8 $i Printed edition: $z 9783030600686
830 0 $a Information Systems and Applications, incl. Internet/Web, and HCI ; $v 9149 $3 1253558
856 4 0 $u https://doi.org/10.1007/978-3-030-60067-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)