Reasoning Web. Declarative Artificial Intelligence

Reasoning Web. Declarative Artificial Intelligence

17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures

Varzinczak, Ivan; Simkus, Mantas

Springer Nature Switzerland AG

02/2022

185

Mole

Inglês

9783030954802

15 a 20 dias

308

Descrição não disponível.
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.- Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis.
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