Presentation | 2024-03-14 Applying Model Checking to Ethical Judgments Yoshitaka Aoki, Yotaro Nakayama, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Model Checking |
Paper # | KBSE2023-73 |
Date of Issue | 2024-03-07 (KBSE) |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2024/3/14(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Okinawa Prefectual General Welfare Center |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Takuya Saruwatari(NTT Data) |
Vice Chair | Yoshinori Tanabe(Tsurumi Univ.) |
Secretary | Yoshinori Tanabe(BIPROGY) |
Assistant | Takafumi Tanaka(Tamagawa Univ.) / Takashi Kitamura(AIST) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Applying Model Checking to Ethical Judgments |
Sub Title (in English) | |
Keyword(1) | Model Checking |
1st Author's Name | Yoshitaka Aoki |
1st Author's Affiliation | BIPROGY Inc.(BIPROGY) |
2nd Author's Name | Yotaro Nakayama |
2nd Author's Affiliation | BIPROGY Inc.(BIPROGY) |
Date | 2024-03-14 |
Paper # | KBSE2023-73 |
Volume (vol) | vol.123 |
Number (no) | KBSE-443 |
Page | pp.pp.49-54(KBSE), |
#Pages | 6 |
Date of Issue | 2024-03-07 (KBSE) |