Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic: 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023
暫譯: 推理網絡：聲明式人工智慧：知識、規則、邏輯：第19屆國際暑期學校 2023 奧斯陸，挪威，2023年9月21-24日
Console, Marco, Konev, Boris
商品描述
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.
商品描述(中文翻譯)
推理網夏季學校的目的是傳播在推理技術及相關議題上的最新進展，這些議題對於語義網和連結資料應用特別重要。這個活動主要針對研究生、博士後、年輕研究人員以及希望深化知識的資深研究人員。與往年一樣，夏季學校的講座由一群傑出的專家講師主講。今年夏季學校的廣泛主題是「宣告式人工智慧：知識、規則、邏輯。」
在學校期間，以下八場講座被呈現：針對產業的宣告式人工智慧：方法、應用、趨勢；本體論與約束；推理的終止；基於本體的查詢回答的緊湊查詢重寫；圖查詢與描述邏輯；描述邏輯本體中的受控查詢評估；從神經網絡中學習查詢與反例；以及邏輯論證中的證明理論方法。
作者簡介
Marco Console, Università degli Studi di Roma "La Sapienza", Rome, Italy
Boris Konev, University of Liverpool, Liverpool, UK
作者簡介(中文翻譯)
馬可·康索勒，羅馬大學「拉薩比恩扎」，義大利羅馬
鮑里斯·科涅夫，利物浦大學，英國利物浦
