Logics in Artificial Intelligence: 19th European Conference, Jelia 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II
暫譯: 人工智慧中的邏輯：第十九屆歐洲會議，Jelia 2025，喬治亞州庫塔伊西，2025年9月1-4日，會議論文集，第二部分
Casini, Giovanni, Dundua, Besik, Kutsia, Temur
相關主題
商品描述
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1-4, 2025.
The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:
Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.
Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.
商品描述(中文翻譯)
這兩卷的 LNAI 16093-16094 是第十九屆歐洲人工智慧邏輯會議（JELIA 2025）的會議論文集，會議於 2025 年 9 月 1 日至 4 日在喬治亞州的庫塔伊西舉行。
本卷包含的 39 篇完整論文和 5 篇短文經過仔細審查和選擇，來自 108 篇投稿。這些論文組織在以下主題中：
第一部分：專題追蹤：可解釋和可信賴的人工智慧邏輯；論證；約束滿足與優化；義務推理；描述邏輯與本體推理；高階邏輯與非經典邏輯；邏輯程式設計與答案集程式設計。
第二部分：非單調推理與信念變更；命題推理、QBF 和可滿足性問題；時間推理；定理證明。
