國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Reasoning Web. Declarative Artificial Intelligence/ edited by Marco Manna, Andreas Pieris.
Reminder of title:	16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
other author:	Manna, Marco.
Description:	IX, 255 p. 25 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Database management. -
Online resource:	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:

557799
Database management.

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 0 $a Database management. $3 557799
650 0 $a Artificial intelligence. $3 559380
650 0 $a Application software. $3 528147
650 0 $a Computer hardware. $3 1069242
650 0 $a Natural language processing (Computer science). $3 802180
650 1 4 $a Database Management. $3 669820
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Applications. $3 669785
650 2 4 $a Computer Hardware. $3 669779
650 2 4 $a Natural Language Processing (NLP). $3 1254293
700 1 $a Manna, Marco. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1226874
700 1 $a Pieris, Andreas. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327550
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)