English | Japanese

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

2022.09.21-22 科研費プロジェクト:基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2022年度第1回成果発表ミーティング (京都大学).
2022.09.08-09 2022年度NII共同研究「数理最適化手法を取り入れた新しいSAT解法」第2回研究会合 (山梨大学).
2020.08.05 並列SATソルバー DPS 及び NPS が SAT Competition 2022 において Main Parallel Track で第2位を獲得し,DPS はさらに Anniversary Parallel Track でも第3位に入りました.
2022.07.22 Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue による論文 "Diagnosis of Event Sequences with LFIT" が 31st International Conference on Inductive Logic Programming (ILP 2022; 2022.09.28-30, Cumberland Lodge, Windsor, UK) に採択されました.
2022.07.21 博士論文本審査:竹村 彰浩 君(総研大・情報学専攻,オンライン実施).
2022.07.14 博士論文本審査:Nguyen Quoc Tuan 君(総研大・情報学専攻,オンライン実施).
2022.07.09 6th International Workshop on Symbolic-Neural Learning (SNL 2022; 豊田工業大学) にて渡邉晃司君がポスター発表しました.
2022.07.01 Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue による論文 "DPS: A Framework for Deterministic Parallel SAT Solvers"13th Pragmatics of SAT international workshop (PoS 2022; 2022.08.01, Haifa, Israel) に採択されました.
2022.06.14-17 2022年度人工知能学会全国大会(第36回) (京都国際会館) にて渡邉晃司君が発表しました.
2022.06.11 Akihiro Takemura, Katsumi Inoue による論文 "Gradient-Based Supported Model Computation in Vector Spaces" が 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022; 2022.09.05-09, Genova Nervi, Italy) に採択されました.
2022.06.03-04 NIIオープンハウス2022におけるポスター発表「人工知能はいかにして世界から知識を獲得し表現・利用しているか?— 機械学習と知識表現・記号推論の融合によるNeuro-Symbolic AIの実現」 (スライド, ポスター).
2022.05.20 Mitsuhiro Odaka, Magnin Morgan, Katsumi Inoue による論文 "A Data-Driven and Knowledge-Based Approach to Inferring Temporal Gene Networks for COVID-19" が International Conference on Critical Assessment of Massive Data Analysis 2022 (CAMDA 2022; 2022.07.11-12, Madison, USA) に採択されました.
2022.05.12-13 2022年度NII共同研究「数理最適化手法を取り入れた新しいSAT解法」第1回研究会合 (名古屋大学).
2022.04.21 Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang による論文 "Learning First-Order Rules with Differentiable Logic Program Semantics"第31回人工知能国際会議 (IJCAI-ECAI-22; 2022.07.23-29, Vienna, Austria) に long presentation paper として採択されました.
2022.04.01 メンバーページ を更新.
2022.03.23 2021年度NII共同研究「組合せデザイン問題を解くための SAT 型制約充足ソルバーの研究開発」第2回研究会合 (オンライン開催).
2022.03.21 Kotaro Okazaki, Katsumi Inoue による論文 "Explainable Model Fusion for Customer Journey Mapping"Frontiers in Artificial Intelligence (Section: AI in Business) に採択されました.
2022.03.17-18 科研費プロジェクト:基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2021年度成果発表ミーティング (オンライン開催).
2022.02.03 博士論文本審査:Phua Yin Jun 君(総研大・情報学専攻,オンライン実施).
2022.01.31 2021年度修士論文発表会:徐 哲恒 君 (東工大,オンライン実施).
2022.01.20 Mitsuhiro Odaka が Katsumi Inoue, Morgan Magnin との共著論文 "Exploring Differential Equations for Modeling SARS-CoV-2 Dynamics with Sensitivity and Stability Analysis" を The 2022 Workshop on Statistical Methods for Post Genomic Data (SMPGD 2022; Nantes, France) にて発表しました.

2023   |2021