|
|
|
English | Japanese
Events and News (2024)
| 2024.10.28-29 | The 2nd Meeting of FY2024 NII Collaborative Research: "Research on Parallel Implementation of Answer Set Programming" (Nagoya University). |
| 2024.10.22 | AI Seminar by Emir Demirović (TU Delft) and Meghyn Bienvenu (LaBRI CNRS). |
| 2024.10.15 | Katsumi Inoue gives the invited talk "Linear Algebraic Approaches to Logic Programming" at ICLP 2024 (University of Texas at Dallas, USA). |
| 2024.09.22 | Katsumi Inoue gave the invited talk "Algebraic Logic Programming and Learning" at IJCLR 2024 (Nanjing University International Conference Center, China). |
| 2024.09.06 | The paper "Linear Algebraic Partial Evaluation of Logic Programs" written by Tuan Nguyen Quoc, Katsumi Inoue and Chiaki Sakama has been accepted for ICTAI 2024 (2024.10.28-30, Herndon, VA, USA). |
| 2024.09.04-05 | The 5th Meeting of the JST CREST research project: "Machine Learning That Connects to Symbolic Reasoning" (Sinfonia Iwakuni, Yamaguchi). |
| 2024.09.03-04 | The 1st FY2024 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (Sinfonia Iwakuni, Yamaguchi). |
| 2024.08.27 | Irumi Sugimori et al.'s paper "ASP-based Large Neighborhood Prioritized Search for Course Timetabling" has been selected as the recipient of The Best Student Paper Award 2024 for LPNMR 2024 (NII News)． |
| 2024.08.21 | The paper "Learning From Interpretation Transitions with Unknowns" written by Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Antoine Roquilly, Jérémie Poschmann, Katsumi Inoue has been accepted for IJCLR 2024 (2024.09.20-22, Nanjing University International Conference Center). |
| 2024.08.20 | Trustworthy AI Seminar by Andreas Brännström (Umeå University, Sweden). |
| 2024.08.14 | The paper "Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming" written by Akihiro Takemura and Katsumi Inoue has been accepted for Theory and Practice of Logic Programming. |
| 2024.08.13 | The paper "ASP-based Large Neighborhood Prioritized Search for Course Timetabling" written by Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara has been accepted for LPNMR 2024 (2024.10.11-14, University of Texas at Dallas, USA). |
| 2024.08.07 | Kun Gao presented the journal-track paper "A differentiable first-order rule learner for inductive logic programming" at IJCAI 2024 (Jeju, Korea). |
| 2024.08.07 |
The NII Collaborative Research with Dinh Tuan Tran (Ritsumeikan University) have yielded two research papers for IEEE Access:
|
| 2024.07.25 |
Two papers have been accepted for KR 2024 (2024.11.02-08, Hanoi, Vietnam):
|
| 2024.07.04 | The paper "Differentiable Logic Programming for Distant Supervision" written by Akihiro Takemura and Katsumi Inoue has been accepted for ECAI 2024 (2024.10.19-24, Santiago de Compostela, Spain). |
| 2024.06.27 | The paper "Neuro-symbolic Contrastive Learning for Cross-domain Inference" written by Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris Willcocks has been accepted for ICLP 2024 (2024.10.11-17, University of Texas at Dallas, USA). |
| 2024.06.26-27 | The 1st Meeting of FY2024 NII Collaborative Research: "Research on Parallel Implementation of Answer Set Programming" (Matsumoto, Nagano). |
| 2024.06.15 | The paper "Variable Assignment Invariant Neural Networks for Learning Logic Programs" written by Yin Jun Phua and Katsumi Inoue has been accepted for NeSy 2024 (2024.09.11-17, Barcelona, Spain). |
| 2024.06.07 | We presented the poster "Integration of symbolic reasoning and machine learning for trustworthy AI" at NII Open House 2024 (posters). |
| 2024.05.28-31 | Akihiro Takemura and Sota Moriyama presented papers at JSAI 2024 (Act City Hamamatsu, Shizuoka) (in Japanese). |
| 2024.05.15 | Katsumi Inoue gave the invited talk on "Algebraic Connection between Logic Programming and Machine Learning" at FLOPS 2024 (Kumamoto City International Center, Kumamoto). |
| 2014.04.23 | Celebration of The 20th Anniversary of Inoue Lab. (photo) |
| 2024.04.06 | Alex Spies (JSPS International Research Fellow) presented the poster "Structured Representations in Maze-Solving Transformers" at Technical AI Safety 2024, and won The Best Poster Award (NII News)． |
| 2024.04.02 | Hanami Tour@Chidorigafuchi - Banquet@Hanzomon. |
| 2024.03.28-29 | The 4th Meeting of FY2023 NII Collaborative Research: "Research on SAT-Based Solving for Combinatorial Reconfiguration" (Nagaragawa Convention Center, Gifu). |
| 2024.03.18-19 | The 2nd FY2023 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (Nikko Kinugawa-Onsen, Tochigi). |
| 2024.03.07-08 | The 4th Meeting of the JST CREST research project: "Machine Learning That Connects to Symbolic Reasoning" (Kyoto University). |
| 2024.02.25 | The article "A differentiable first-order rule learner for inductive logic programming", written by Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, has been accepted for Artificial Intelligence Journal. |
| 2024.02.05 | Presentation of Master thesis by Masayuki Ohtani (Tokyo Tech). |
| 2024.01.18 | The Main Ph.D. Examination for Mitsuhiro Odaka (SOKENDAI & ECN). |
