Reasoning Web. Declarative Artificial Intelligence
16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
Editors: Manna, Marco, Pieris, Andreas (Eds.)
Free Preview- Made for students, researchers and practitioners interested in Declarative Artificial Intelligence
- Thoroughly revised tutorials cover various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications
- Original, readable and useful lecture notes
Buy this book
- About this Textbook
-
This volume contains 8 lecture notes of the 16th Reasoning Web Summer School (RW 2020), held in Oslo, Norway, in June 2020.
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.
- About the authors
-
Marco Manna, University of Calabria, Italy
Andreas Pieris, University of Edinburgh, UK
- Table of contents (8 chapters)
-
-
Introduction to Probabilistic Ontologies
Pages 1-35
-
On the Complexity of Learning Description Logic Ontologies
Pages 36-52
-
Explanation via Machine Arguing
Pages 53-84
-
Stream Reasoning: From Theory to Practice
Pages 85-108
-
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course
Pages 109-148
-
Table of contents (8 chapters)
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Reasoning Web. Declarative Artificial Intelligence
- Book Subtitle
- 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures
- Editors
-
- Marco Manna
- Andreas Pieris
- Series Title
- Information Systems and Applications, incl. Internet/Web, and HCI
- Series Volume
- 12258
- Copyright
- 2020
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-60067-9
- DOI
- 10.1007/978-3-030-60067-9
- Softcover ISBN
- 978-3-030-60066-2
- Edition Number
- 1
- Number of Pages
- IX, 255
- Number of Illustrations
- 25 b/w illustrations
- Topics
