Reasoning Web. Declarative Artificial Intelligence

16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures

  • Marco Manna
  • Andreas Pieris
Textbook Reasoning Web 2020

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12258)

Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 12258)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Rafael Peñaloza
    Pages 1-35
  3. Oana Cocarascu, Antonio Rago, Francesca Toni
    Pages 53-84
  4. Emanuele Falzone, Riccardo Tommasini, Emanuele Della Valle
    Pages 85-108
  5. Vladislav Ryzhikov, Przemysław A. Wałęga, Michael Zakharyaschev
    Pages 109-148
  6. Aidan Hogan
    Pages 223-253
  7. Back Matter
    Pages 255-255

About this book


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.


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

Editors and affiliations

  1. 1.Department of Mathematics and Computer ScienceUniversity of CalabriaRendeItaly
  2. 2.School of InformaticsUniversity of EdinburghEdinburghUK

Bibliographic information