• Events & News
  • People
  • Research
  • Lectures
  • Links
    • English | Japanese

    Events and News (2023)

    2023.12.09 The paper "BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change" written by Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis has been accepted for 38th AAAI Conference on Artificial Intelligence (AAAI-24; 2024.02.20-27, Vancouver, Canada).
    2023.12.06-07 The 3rd Meeting of FY2023 NII Collaborative Research: "Research on SAT-Based Solving for Combinatorial Reconfiguration" (Kobe University).
    2023.11.08 MWIT Team has won The 1st and 3rd Prizes at ROAD-R Challenge for NeurIPS 2023 (NII News).
    2023.11.05 The paper "Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis", written by Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara, has been accepted for WALCOM 2024 (2024.03.18-20, Kanazawa, Japan).
    2023.10.30 The paper "Linearly Structured World Representations in Maze-Solving Transformers", written by Michael Ivanitskiy, Alex Spies et al., has been accepted for NeurIPS 2023 UniReps Workshop (2023.12.15, New Orleans, USA).
    2023.10.01-05 NII Shonan Meeting No.180: "The Art of SAT" (Shonan Village Center).
    2023.09.14-15 The 1st FY2023 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (AIST Tokyo Waterfront, Tokyo).
    2023.09.12 2nd Call of 2023 NII International Internship Program.
    2023.08.31-09.01 The 2nd Meeting of FY2023 NII Collaborative Research: "Research on SAT-Based Solving for Combinatorial Reconfiguration" (Act City Hamamatsu, Shizuoka).
    2023.08.29-30 Katsumi Inoue, Sota Moriyama and Takeru Isobe have presented their works at The 125th JSAI SIG-FPAI (Marios, Morioka, Iwate).
    2023.08.28-29 The 3rd Meeting of the JST CREST research project: "Machine Learning That Connects to Symbolic Reasoning" (Marios, Morioka, Iwate).
    2023.08.25 Two papers have been accepted for the conference track of ILP 2023 at IJCLR 2023 (2023.11.13-15, Bari, Italy):
  • Takeru Isobe and Katsumi Inoue: "Learning Strategies of Inductive Logic Programming Using Reinforcement Learning"
  • Sota Moriyama, Koji Watanabe and Katsumi Inoue: "GNN Based Extraction of Minimal Unsatisfiable Subsets"
    		•
    2023.08.18 The article "Gene Network Inference from Single-Cell Omics Data and Domain Knowledge for Constructing COVID-19-Specific ICAM1-Associated Pathways", written by Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue, has been accepted for publication in Frontiers in Genetics．
    2023.07.15 Katsumi Inoue gave a talk on "Reasoning Techniques in the Era of Generative AI (in Japanese) at The 17th PICMET Japan Vision Meeting: How can generative AI enhance a company’s creativity? (University of Tokyo, Komaba Campus).
    2023.7.13 Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub have received The 10-Year Test-of-Time Award for the article "Answer set programming as a modeling language for course timetabling" at ICLP 2023 (NII News).
    2023.07.11 Two papers have been accepted for JELIA 2023 (2023.09.20-22, Dresden, Germany):
  • Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura: "Hamiltonian Cycle Reconfiguration with Answer Set Programming"
  • Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub: "recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming"
    		•
    2023.07.03 The Main Ph.D. Examination for Kotaro Okazaki (SOKENDAI) at NII.
    2023.06.29 Koji Watanabe presented a poster at 7th International Workshop on Symbolic-Neural Learning (SNL 2023; RIKEN AIP).
    2023.06.25 Camilo Sarmiento (Sorbonne University), together with Gauvain Bourgne, Katsumi Inoue, attended and made a presentation at Workshop on the Philosophy, Psychology, and Computer Science of Causation (Causation in Kyoto; Kyoto University).
    2023.06.06 Mitsuhiro Odaka presented a paper at 37th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2023; Kumamoto-jo Hall) (in Japanese).
    2023.06.02-03 NII Open House 2023. Our lab had a poster presentation on "Let us Make AI More Intelligent" (member introduction, poster).
    2023.05.22-23 The 1st Meeting of FY2023 NII Collaborative Research: "Research on SAT-Based Solving for Combinatorial Reconfiguration" (Kobe University).
    2023.05.22 The article "Learning State Transition Rules from High-Dimensional Time Series Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann Machines", written by Koji Watanabe and Katsumi Inoue, has been accepted for Human-Centric Intelligent Systems.
    2023.05.16 AI Seminar on Explanation and Ethics (NII): Talks by Jean-Marie Lagniez (CRIL CNRS, University of Artois) and Gauvain Bourgne (LIP6, Sorbonne Université).
    2023.05.08 The article "Differentiable Learning of Matricized DNFs and its Application to Boolean Networks", written by Taisuke Sato and Katsumi Inoue, has been accepted for Machine Learning.
    2023.04.25 The article "Algorithms for partially robust team formation", written by Nicolas Schwind, Emir Demirović, Katsumi Inoue and Jean-Marie Lagniez, has been published in Autonomous Agents and Multi-Agent Systems．
    2023.04.03 1st Call of 2023 NII International Internship Program.
    2023.04.01 Members page updated.
    2023.03.29 Mitsuhiro Odaka, jointly with Morgan Magnin and Katsumi Inoue, presented the work "Data-Driven and Knowledge-Based Causal Network Discovery for Identifying Differential Equations" at AAAI 2023 Spring Symposium on Computational Approaches to Scientific Discovery (San Francisco, USA).
    2023.03.28-29 The 2nd Meeting of the JST CREST research project: "Machine Learning That Connects to Symbolic Reasoning" (Kyoto University).
    2023.03.23 Hanami @ Chidorigafuchi + Farewell Party @ Hanzomon.
    2023.03.13-14 The 3rd Meeting of FY2022 NII Collaborative Research: "A New SAT Solving with Mathematical Optimization" (Kobe University).
    2023.03.09-10 The 2nd FY2022 Meeting of KAKENHI Kiban-A Project: "Robust AI by Integration of Knowledge Representation and Machine Learning" (Tanabe, Wakayama).
    2023.02.10 Nicolas Schwind, jointly with Katsumi Inoue and Pierre Marquis, presented the paper "Editing Boolean Classifiers: A Belief Change Perspective" at AAAI-23 (Washington, D.C., USA).
    2023.02.02 Dissertation progress report and Presentation for qualification of Master's degree by Koji Watanabe (SOKENDAI).
    2023.01.31 Presentation of Master thesis by Ryota Yakushiji (Tokyo Tech).
    2023.01.16 Tuan Nguyen, jointly with Katsumi Inoue and Chiaki Sakama, presented the paper "Linear Algebraic Abduction with Partial Evaluation" at PADL 2023 (Boston, USA).

    2024   |   2022