1 option
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic : 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures / edited by Marco Console, Boris Konev.
Springer Nature - Springer Computer Science (R0) eBooks 2025 English International Available online
View online- Format:
- Book
- Author/Creator:
- Console, Marco.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 15400
- Language:
- English
- Subjects (All):
- Logic programming.
- Computer science.
- Application software.
- Logic in AI.
- Theory of Computation.
- Computer and Information Systems Applications.
- Local Subjects:
- Logic in AI.
- Theory of Computation.
- Computer and Information Systems Applications.
- Physical Description:
- 1 online resource (214 pages)
- Edition:
- 1st ed. 2025.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
- Summary:
- 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.
- Contents:
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783031802836
- 3031802837
- OCLC:
- 1496395414
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.