Verifiable Autonomous Systems

Using Rational Agents to Provide Assurance about Decisions Made by Machines

Dennis, Louise A. Fisher, Michael

出版社：Cambridge University Press 出版年月：2023年 06月
装丁：HRD 言語：ENG

税込価格：

20,513円

海外在庫あり 通常２～５週間で出荷

Programming Multi-Agents Systems

9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7217

Herausgegeben von Dennis, Louise Boissier, Olivier Bordini, Rafael H.

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. XII

税込価格：

10,846円

海外在庫あり 通常２～５週間で出荷

Engineering Multi-Agent Systems

7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers

Lecture Notes in Computer Science 12058

Herausgegeben von Dennis, Louise A. Bordini, Rafael H. Lesp&eacute

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：1st ed. 2020. 2020. x

税込価格：

12,966円

海外在庫あり 通常２～５週間で出荷

Declarative Agent Languages and Technologies X

10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7784

Herausgegeben von Baldoni, Matteo Dennis, Louise Mascardi, Viviana

出版社：Springer, Berlin 出版年月：2013年 00月
装丁：PAP 言語：ENG 版次：2013. xii

税込価格：

10,846円

海外在庫あり 通常２～５週間で出荷