Konev / Console | Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic | Buch | 978-3-031-80282-9 | sack.de

Buch, Englisch, Band 15400, 115 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 207 g

Reihe: Lecture Notes in Computer Science

Konev / Console

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic

19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Erscheinungsjahr 2025
ISBN: 978-3-031-80282-9
Verlag: Springer Nature Switzerland

19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Buch, Englisch, Band 15400, 115 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 207 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-80282-9
Verlag: Springer Nature Switzerland


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 “"

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.

Konev / Console Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


Compact Query Rewritings for Ontology-Based Query Answering.- Finite-Model Reasoning for Graph Queries and Description Logics.- Controlled Query Evaluation in Description Logic Ontologies.- Actively Learning from Machine Learning Models with Queries and Counterexamples.- Proof-Theoretic Approaches to Logical Argumentation.


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

Boris Konev, University of Liverpool, Liverpool, UK



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.