| 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) にて発表しました．
|
