Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (縮短人工智慧與現實之間的距離：第二屆國際會議 Aisola 2024，希臘克里特島，2024年10月30日至11月3日，會議紀錄)

Steffen, Bernhard

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
  • 出版商: Springer
  • 出版日期: 2025-01-26
  • 售價: $3,340
  • 貴賓價: 9.5 折 $3,173
  • 語言: 英文
  • 頁數: 489
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031754336
  • ISBN-13: 9783031754333
  • 相關分類: 人工智慧

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

相關主題

商品描述

This book constitutes the proceedings of 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 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.

商品描述(中文翻譯)

本書為第二屆國際會議「彌合人工智慧與現實之間的鴻溝」(AISoLA 2024) 的會議紀錄，該會議於2024年10月/11月在希臘克里特島舉行。本書所收錄的論文聚焦於以下主題：人工智慧輔助編程；數位人文學；在醫療保健中使用形式方法和人工智慧的方式；可信自動系統的模型；負責任且值得信賴的人工智慧；安全的自動駕駛車輛；統計模型檢查；保證自主性的驗證與學習；神經符號人工智慧的驗證。

類似商品