Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem
暫譯: 縮短人工智慧與現實之間的距離：第三屆國際會議，人工智慧與現實之間的橋樑，Aisola 2025，希臘羅德島，十一月

Steffen, Bernhard

Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem
  • 出版商: Springer
  • 出版日期: 2025-10-11
  • 售價: $2,230
  • 貴賓價: 9.5 折 $2,119
  • 語言: 英文
  • 頁數: 187
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032071313
  • ISBN-13: 9783032071316
  • 相關分類: AI Coding

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025.

The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.

商品描述(中文翻譯)

這本開放存取的書籍包含了2025年11月在希臘羅德島舉行的第三屆國際會議「縮短人工智慧與現實之間的鴻溝」（AISoLA 2025）會議的選定論文。

本書所收錄的論文專注於以下主題：人工智慧輔助程式設計；數位人文學；在醫療保健中使用形式方法和人工智慧的方式；可信賴的自主系統模型；負責任且值得信賴的人工智慧；安全的自主車輛；統計模型檢查；保證自主性的驗證與學習；神經符號人工智慧的驗證。

類似商品