Reasoning Web. Declarative Artificial Intelligence
Springer International Publishing (Verlag)
978-3-030-60066-2 (ISBN)
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.
lt;p>Marco Manna, University of Calabria, Italy
Andreas Pieris, University of Edinburgh, UK
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.
| Erscheinungsdatum | 20.10.2020 |
|---|---|
| Reihe/Serie | Information Systems and Applications, incl. Internet/Web, and HCI | Lecture Notes in Computer Science |
| Zusatzinfo | IX, 255 p. 25 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 415 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| Schlagworte | answer set programming • Automata Theory • complexity results • Computer Hardware • computer programming • domain ontologies • explainable AI via argumentation • Formal Languages • Formal Logic • graph theory • Knowledge-Based System • knowledge graphs • learning ontologies • limit datalog • Ontologies • Probabilistic Reasoning • Query Languages • Stream reasoning • temporal reasoning • theoretical computer science |
| ISBN-10 | 3-030-60066-1 / 3030600661 |
| ISBN-13 | 978-3-030-60066-2 / 9783030600662 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
