English | Japanese

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

2022.12.23 Tuan Nguyen, Katsumi Inoue による論文 "On Converting Logic Programs into Matrices"15th International Conference on Agents and Artificial Intelligence (ICAART 2023; 2023.02.22-24, Lisbon, Portugal) に採択されました.
2022.11.19 Nicolas Schwind, Katsumi Inoue, Pierre Marquis による論文 "Editing Boolean Classifiers: A Belief Change Perspective" が 37th AAAI Conference on Artificial Intelligence (AAAI-23; 2023.02.07-14, Washington, D.C., USA) に採択されました.
2022.11.16 Tuan Nguyen, Katsumi Inoue, Chiaki Sakama による論文 "Linear Algebraic Abduction with Partial Evaluation"25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023; 2023.01.16-17, Boston, USA) に採択されました.
2022.09.20-21 科研費プロジェクト:基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2022年度第1回成果発表ミーティング (京都大学).
2022.09.20 JST CREST 研究課題「記号推論に接続する機械学習」(研究代表者:杉山麿人, 主たる共同研究者:井上克巳,西野正彬, 小島諒介)が 「信頼されるAIシステム」研究領域において採択されました.
2022.09.20 Koji Watanabe, Katsumi Inoue による論文 "Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines"2022 Principle and practice of data and Knowledge Acquisition Workshop (PKAW 2022; 2022.11.10, Shanghai, China) に採択されました.
2022.09.13 Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia による論文 "Action Languages Based Actual Causality in Decision Making Contexts"24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022; 2022.11.16-22, Valencia, Spain) に採択されました.
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.20 Model Learning from State Transition Data に関する日仏ワークショップ (MLSTD 2022; Inria Saclay, Île-De-France) を開催.
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 2022年度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