2025.03.31 | Inoue Laboratory at NII was closed. Thank you for all your support! |
2025.03.27 | Lecture Commemorating Retirement by Katsumi Inoue: "44 Years of My Reasoning Research" (slide in Japanese). |
2025.03.06-07 | The 6th Meeting of the JST CREST research project: "Machine Learning That Connects to Symbolic Reasoning" (Kyoto University). |
2025.02.28 | The new KAKENHI grant proposal has been accepted: FY2025-2028 Grant-in-Aid for Scientific Research (B): "Constraint Reasoning for Trustworthy AI" (No.25K03190) |
2025.02.03 | Presentation of Master thesis by Sota Moriyama: "Expanding Graph Attention Networks for Finding Minimal-Unsatisfiable and Maximum-Satisfiable Sets of Clauses" (Institute of Science Tokyo). |
2025.01.28 | The article "Data-Driven and Knowledge-Based Approach to Scientific Discovery", written by Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue, has been accepted for Computational Approaches to Scientific Discovery (edited by Džeroski, S., Choi, Y., Langley, P., Kutz, N., Soldatova, L.), Springer. |
2025.01.23 | The article "Differentiable Rule Induction from Raw Sequence Inputs", written by Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng, has been accepted for ICLR 2025 (Singapore, April 24-28, 2025). |
2025.01.17 | Dissertation progress report and Presentation for qualification of Master's degree by Takeru Isobe "Meta-Learning for Enhancing Efficiency of Inductive Logic Programming" (SOKENDAI). |
2025.01.06 | The article "Learning Possibilistic Dynamic Systems from State Transitions", written by Hongbo Hu, Yisong Wang, Katsumi Inoue, has been accepted for Fuzzy Sets and Systems. |