Overview
- 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
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12258)
Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)
Included in the following conference series:
Conference proceedings info: Reasoning Web 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
- probabilistic reasoning
- learning ontologies
- explainable AI via argumentation
- stream reasoning
- temporal reasoning
- answer set programming
- limit datalog
- knowledge graphs
- automata theory
- complexity results
- computer hardware
- computer programming
- domain ontologies
- formal languages
- formal logic
- graph theory
- knowledge-based system
- ontologies
- query languages
- theoretical computer science
About this book
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.
Editors and Affiliations
About the editors
Marco Manna, University of Calabria, Italy
Andreas Pieris, University of Edinburgh, UK
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-60067-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-60066-2Published: 18 October 2020
eBook ISBN: 978-3-030-60067-9Published: 17 October 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 255
Number of Illustrations: 25 b/w illustrations
Topics: Database Management, Artificial Intelligence, Computer Applications, Computer Hardware, Natural Language Processing (NLP)