|
|
|
English | Japanese
Events and News (2022)
| 2022.12.23 | The paper "On Converting Logic Programs into Matrices" written by Tuan Nguyen, Katsumi Inoue has been accepted for 15th International Conference on Agents and Artificial Intelligence (ICAART 2023; 2023.02.22-24, Lisbon, Portugal). |
| 2022.11.19 | The paper "Editing Boolean Classifiers: A Belief Change Perspective" written by Nicolas Schwind, Katsumi Inoue, Pierre Marquis has been accepted for 37th AAAI Conference on Artificial Intelligence (AAAI-23; 2023.02.07-14, Washington, D.C., USA). |
| 2022.11.16 | The paper "Linear Algebraic Abduction with Partial Evaluation" written by Tuan Nguyen, Katsumi Inoue, Chiaki Sakama has been accepted for 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023; 2023.01.16-17, Boston, USA). |
| 2022.09.20-21 | The 1st FY2022 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (Kyoto University). |
| 2022.09.20 | The JST CREST research project "Machine Learning That Connects to Symbolic Reasoning" (Research Director: Mahito Sugiyama, Collaborators: Katsumi Inoue, Masaaki Nishino, Ryosuke Kojima) has been accepted for "Trusted Quality AI Systems" Research Area. |
| 2022.09.20 | The paper "Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines" written by Koji Watanabe, Katsumi Inoue has been accepted for 2022 Principle and practice of data and Knowledge Acquisition Workshop (PKAW 2022; 2022.11.10, Shanghai, China). |
| 2022.09.13 | The paper "Action Languages Based Actual Causality in Decision Making Contexts" written by Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia has been accepted for 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022; 2022.11.16-22, Valencia, Spain). |
| 2022.09.08-09 | The 2nd Meeting of FY2022 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.20 | Franco-Japanese Mini-Workshop on Model Learning from State Transition Data (MLSTD22) is held online and at Inria Saclay Bat Turing Room (Île-De-France). |
| 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 FY2022 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). |