Overview
- Useful for students, researchers, and practitioners engaged with Declarative Artificial Intelligence
- Thoroughly revised tutorials cover various aspects of ontological reasoning and related issues
- Lecturers are known experts in this field
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13100)
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 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
Keywords
- belief revision
- databases
- explainable artificial intelligence
- formal languages
- formal logic
- graph databases
- knowledge representation
- knowledge representation and reasoning
- knowledge-based system
- linguistics
- ontologies
- programming languages
- reasoning
- rule-based languages
- semantics
- shapes constraint language
- temporal reasoning
About this book
The broad theme of this year's summer school was again “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 were presented during the school: Foundations of Graph Path Query Languages; On Combining Ontologies and Rules; Modelling Symbolic Knowledge Using Neural Representations; Mining the Semantic Web with Machine Learning: Main Issues That Need to Be Known; Temporal ASP: From Logical Foundations to Practical Use with telingo; A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs; and Score-Based Explanations in Data Management and Machine Learning.
Editors and Affiliations
About the editors
Bibliographic Information
Book Title: Reasoning Web. Declarative Artificial Intelligence
Book Subtitle: 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures
Editors: Mantas Šimkus, Ivan Varzinczak
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-95481-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-030-95480-2Published: 01 February 2022
eBook ISBN: 978-3-030-95481-9Published: 31 January 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 185
Number of Illustrations: 24 b/w illustrations, 9 illustrations in colour
Topics: Computer Applications, Artificial Intelligence, Knowledge based Systems, Mathematical Logic and Foundations