English | Japanese

Events and News (2022)

2022.09.21-22 The 1st FY2022 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (Kyoto University).
2022.09.08-09 The 2nd Meeting of FY2021 NII Collaborative Research on "A New SAT Solving with Mathematical Optimization" (Yamanashi University).
2020.08.05 At SAT Competition 2020, the parallel SAT solvers DPS and NPS have won the 2nd place of Main Parallel Track, and DPS has also won the 3rd place of Anniversary Parallel Track.
2022.07.22 The paper "Diagnosis of Event Sequences with LFIT" written by Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue has been accepted for 31st International Conference on Inductive Logic Programming (ILP 2022; 2022.09.28-30, Cumberland Lodge, Windsor, UK).
2022.07.21 The Main Ph.D. Examination for Akihiro Takemura (SOKENDAI, online).
2022.07.14 The Main Ph.D. Examination for Nguyen Quoc Tuan (SOKENDAI, online).
2022.07.09 Koji Watanabe has presented a poster at 6th International Workshop on Symbolic-Neural Learning (SNL 2022; Toyota Technological Institute, Nagoya, Japan).
2022.07.01 The paper "DPS: A Framework for Deterministic Parallel SAT Solvers" written by Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue has been accepted for 13th Pragmatics of SAT international workshop (PoS 2022; 2022.08.01, Haifa, Israel).
2022.06.14-17 Koji Watanabe has presented a paper at 36th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2022; Kyoto International Conference Center) (in Japanese).
2022.06.11 The paper "Gradient-Based Supported Model Computation in Vector Spaces" written by Akihiro Takemura, Katsumi Inoue has been accepted for 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022; 2022.09.05-09, Genova Nervi, Italy).
2022.06.03-04 NII Open House 2022. Our lab had a poster presentation on "How Can Artificial Intelligence Acquire and Represent Knowledge from the World? — Neuro-Symbolic AI by Integrating Machine Learning with Knowledge Representation and Reasoning" (slides, poster).
2022.05.20 The paper "A Data-Driven and Knowledge-Based Approach to Inferring Temporal Gene Networks for COVID-19" written by Mitsuhiro Odaka, Magnin Morgan, Katsumi Inoue has been accepted for International Conference on Critical Assessment of Massive Data Analysis 2022 (CAMDA 2022; 2022.07.11-12, Madison, USA).
2022.05.12-13 The 1st Meeting of FY2021 NII Collaborative Research on "A New SAT Solving with Mathematical Optimization" (Nagoya University).
2022.04.21 The paper "Learning First-Order Rules with Differentiable Logic Program Semantics" written by Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang has been accepted as a long presentation paper for 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22; 2022.07.23-29, Vienna, Austria).
2022.04.01 Members page updated.
2022.03.23 The 3rd Meeting of FY2021 NII Collaborative Research on "Development of SAT-Based CSP Solvers to Solve Combinatorial Design Problems" (Online).
2022.03.21 The article "Explainable Model Fusion for Customer Journey Mapping" written by Kotaro Okazaki and Katsumi Inoue has been accepted for Frontiers in Artificial Intelligence (Section: AI in Business).
2022.03.17-18 FY2021 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (Online).
2022.02.03 The Main Ph.D. Examination for Yin Jun Phua (SOKENDAI, online).
2022.01.31 Presentation of Master thesis by Zhenheng Xu (Tokyo Tech, online).
2022.01.20 Mitsuhiro Odaka, jointly with Katsumi Inoue and Morgan Magnin, presented the work "Exploring Differential Equations for Modeling SARS-CoV-2 Dynamics with Sensitivity and Stability Analysis" at The 2022 Workshop on Statistical Methods for Post Genomic Data (SMPGD 2022; Nantes, France).

2023   |2021