English | Japanese

イベント・ニュース (2021)

2021.04.01 メンバーページ を更新.
2021.03.18 2020年度NII共同研究「巨大な制約充足問題を解くためのSAT型CSPソルバーの研究開発」第3回研究ミーティング (オンライン開催).
2021.03.10-11 2020年度科研費プロジェクト合同成果発表ミーティング: (1)基盤研究(A)「状態遷移列からの関係ダイナミクス学習」,(2)基盤研究(B)「動的環境におけるロバストなチーム編成に関する研究」,(3)基盤研究(B)「テンソル空間における巨大知識グラフのための高次推論技術の開発」 (オンライン開催).
2021.03.09 Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis による論文 "On the Computation of Probabilistic Coalition Structures"Autonomous Agents and Multi-Agent Systems に採択されました.
2021.02.08 Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue による論文 "An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces"Journal of Logic and Computation に採択されました.
2021.02.02 2020年度修士論文発表会:戸塚悠太郎君,陳天宇君 (東工大).
2021.01.20 前期報告会・修士学位取得資格者認定:小高充弘君 (総研大).

2022   |2020