Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers
暫譯: 縮短人工智慧與現實之間的距離:第二屆國際會議 Aisola 2024,希臘克里特島,2024年10月30日至11月3日,精選論文
Steffen, Bernhard
相關主題
商品描述
This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.
The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence.
商品描述(中文翻譯)
這本開放存取的書籍是從2024年第二屆人工智慧與現實之間的橋樑國際會議(AISoLA 2024)中修訂的選定論文,該會議於2024年10月/11月在希臘克里特島舉行。
本書中包含的論文擴展了AISoLA 2024現場會議的報告。它們專注於以下主題:AI輔助編程;使用形式方法和人工智慧的健康照護方法;負責任和可信的人工智慧:跨學科的視角;統計模型檢查;以及神經符號人工智慧的驗證。