Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic (Paperback)

Marco Console

ISBN 10: 3031802829 / ISBN 13: 9783031802829

Edité par Springer International Publishing AG, Cham, 2025

Paperback. The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers.The broad theme of this year's summer school was Declarative Artificial Intelligence: Knowledge, Rules, Logic."The following eight lectures were presented during the school: Declarative AI for Industry: Methods, Applications, Trends; Ontologies vs Constraints; Termination of Reasoning; Compact Query Rewritings for Ontology Based Query Answering; Graph Queries and Description Logics; Controlled Query Evaluation in Description Logic Ontologies; Learning from Neural Networks with Queries and Counter Examples; and Proof-Theoretic Approaches in Logical Argumentation. The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031802829

Synopsis :

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers.
The broad theme of this year's summer school was “Declarative Artificial Intelligence: Knowledge, Rules, Logic."

The following eight lectures were presented during the school: Declarative AI for Industry: Methods, Applications, Trends; Ontologies vs Constraints; Termination of Reasoning; Compact Query Rewritings for Ontology Based Query Answering; Graph Queries and Description Logics; Controlled Query Evaluation in Description Logic Ontologies; Learning from Neural Networks with Queries and Counter Examples; and Proof-Theoretic Approaches in Logical Argumentation.

À propos de l?auteur:

Marco Console, Università degli Studi di Roma "La Sapienza", Rome, Italy

Boris Konev, University of Liverpool, Liverpool, UK

Détails bibliographiques

Titre : Reasoning Web. Declarative Artificial ...
Éditeur : Springer International Publishing AG, Cham
Date d'édition : 2025
Reliure : Paperback
Etat : new