/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2017ホーム /

3O1 基礎・理論「基礎・理論-論理・推論・プランニング」

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2017 このエントリーをはてなブックマークに追加

05月25日(Thu) 13:50~15:30 O会場(ウインクあいち-10F 1007会議室)
座長 平岡 拓也(NEC)

発表一覧

時間 13:50~14:10
題目 3O1-1 リカレントニューラルネットワークによる遅延を伴う解釈遷移から の論理プログラム表現学習
著者 ポア インジュン(東京工業大学)
Tourret Sophie(国立情報学研究所)
井上 克巳(国立情報学研究所/東京工業大学)
論文 PDFファイル

時間 14:10~14:30
題目 3O1-2 価値観の異なるエージェント間の議論フレームワークに基づく説得対話モデル
著者 森野 尊行(関西学院大学理工学研究科情報科学専攻)
高橋 和子(関西学院大学)
論文 PDFファイル

時間 14:30~14:50
題目 3O1-3 不誠実な論証を扱う抽象議論フレームワークに基づく対話モデル
著者 國生 一幸(関西学院大学大学院理工学研究科情報科学専攻)
高橋 和子(関西学院大学)
論文 PDFファイル

時間 14:50~15:10
題目 3O1-4 Independence Detection in SAT-based Multi-Agent Path Finding
著者 Surynek Pavel(AIST)
Svancara Jiri(Charles University)
Felner Ariel(Ben Gurion University)
Boyarski Eli(Bar Ilan University)
論文 PDFファイル

時間 15:10~15:30
題目 3O1-5 センター試験「数学」整数問題解答システムの開発
著者 犬塚 慎也(名古屋大学 工学部電気電子・情報工学科)
松崎 拓也(名古屋大学大学院工学研究科電子情報システム専攻)
佐藤 理史(名古屋大学大学院工学研究科電子情報システム専攻)
論文 PDFファイル