English | Japanese

Events and News (2021)

2021.12.09 Research Meeting on Reasoning and Learning Using Linear Algebra (Wakayama University).
2021.11.27 Ryota Yakushiji has presented at The 11th Meeting on JAMI & JSAI "Artificial Intelligence in Medicine" (SIG-AIMED) (in Japanese, online).
2021.10.29 The article "Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation" written by Tuan Nguyen, Katsumi Inoue and Chiaki Sakama has been accepted for New Generation Computing.
2021.10.27 Tony Ribeiro, Maxime Folschette, Morgan Magnin and Katsumi Inoue have received The Best Paper Award for ILP 2021 at IJCLR 2021, sponsored by Machine Learning Journal, for the paper "Learning any Memoryless Discrete Semantics for Dynamical Systems Represented by Logic Programs".
2021.10.15 The article "Modeling Viral Dynamics in SARS-CoV-2 Infection Based on Differential Equations and Numerical Analysis" written by Mitsuhiro Odaka and Katsumi Inoue has been accepted for Heliyon.
2021.10.14 The article "Learning any Memoryless Discrete Semantics for Dynamical Systems Represented by Logic Programs" written by Tony Ribeiro, Maxime Folschette, Morgan Magnin and Katsumi Inoue has been accepted for Machine Learning.
2021.09.24 Two papers have been accepted for ILP 2020-2021 at IJCLR 2021 (2021.10.25-27, Virtual):
  • Yin Jun Phua and Katsumi Inoue: "Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance" (conference long paper) (poster)
  • Tony Ribeiro, Maxime Folschette, Morgan Magnin and Katsumi Inoue: "Polynomial Algorithm for Learning from Interpretation Transition" (late-breaking abstract) (poster)

  • Moreover, two other papers have also been invited for presentation at IJCLR 2021:
  • Kun Gao, Hanpin Wang, Yongzhi Cao and Katsumi Inoue: "Learning from Interpretation Transition Using Differentiable Logic Programming Semantics" (journal track) (poster)
  • Tony Ribeiro, Maxime Folschette, Morgan Magnin and Katsumi Inoue: "Learning any Memoryless Discrete Semantics for Dynamical Systems Represented by Logic Programs" (journal track) (poster)
  • 2021.09.11 Two papers have been accepted for ICTAI 2021 (2021.11.01-03, Virtual):
  • Tuan Nguyen, Katsumi Inoue and Chiaki Sakama: "Linear Algebraic Computation of Propositional Horn Abduction"
  • Guillaume Lorthioir and Katsumi Inoue: "Robust Approach to Noise for Plan Recognition in RTS Games"
  • 2021.09.06 The paper "Gradient-Based Supported Model Computation in Vector Spaces" by Akihiro Takemura and Katsumi Inoue has been accepted for presentation at ASPOCP 2021 (2021.09.21, Virtual).
    2021.08.06 The article "Learning from Interpretation Transition Using Differentiable Logic Programming Semantics" written by Kun Gao, Hanpin Wang, Yongzhi Cao and Katsumi Inoue has been accepted for Machine Learning.
    2021.08.02 The article "Logic Programming in Tensor Spaces" written by Chiaki Sakama, Katsumi Inoue and Taisuke Sato has been accepted for Annals of Mathematics and Artificial Intelligence.
    2021.07.15 The Main Ph.D. Examination for Guillaume Lorthioir (SOKENDAI, online).
    2021.06.29 The paper "Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming" by Akihiro Takemura and Katsumi Inoue has been accepted for the main track of ICLP 2021 (Technical Communication).
    2021.06.28 The paper "Interpretable Utility-Based Models Applied to the FightingICE Platform" written by Tianyu Chen, Florian Richoux, Javier Torres and Katsumi Inoue has been accepted for IEEE CoG 2021.
    2021.06.18-19 NII Online Open House 2021. Our lab had a poster presentation on integration of machine learning and knowledge representation (slides, poster).
    2021.06.18 The paper "Boolean Network Learning in Vector Spaces for Genome-Wide Network Analysis" written by Taisuke Sato and Ryosuke Kojima has been accepted for the KR & ML track of KR 2021.
    2021.06.15 Two papers have been accepted for PoS 2021 (2021.07.05, Online):
  • Taisuke Sato and Ryosuke Kojima: "MatSat: A Matrix-Based Differentiable SAT Solver"
  • Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura and Katsumi Inoue: "Towards CEGAR-Based Parallel SAT Solving"
  • 2021.04.28 The article "Inferring Agents’ Goals from Observing Successful Traces" written by Guillaume Lorthior, Katsumi Inoue and Gauvain Bourgne has been accepted for Applied Sciences.
    2021.04.13 The article "Resilient Team Formation with Agent Networks Stabilisability for Task Allocation" written by Jose Barambones, Florian Richoux, Ricardo Imbert and Katsumi Inoue has been accepted for ACM Transactions on Autonomous and Adaptive Systems.
    2021.04.05 The new KAKENHI grant proposal has been accepted:
  • FY2021-2024 Grant-in-Aid for Scientific Research (A): "Robust AI by Integration of Knowledge Representation and Machine Learning" (No.21H04905)
  • 2021.04.01 Members page updated.
    2021.03.18 FY2020 NII Collaborative Research Meeting on "Development of SAT-Based CSP Solvers to Solve Huge Constraint Satisfaction Problems" (Online).
    2021.03.10-11 FY2020 Joint KAKENHI Meeting: (1) Kiban-A Project "Learning Relational Dynamics from State Transition", (2) Kiban-B Project "Research on Robust Team Formation in Dynamic Environments" and (3) Kiban-B Project "Development of Advanced Inference Techniques for Huge Knowledge Graphs in Tensor Spaces" (Online).
    2021.03.09 The article "On the Computation of Probabilistic Coalition Structures" written by Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez and Pierre Marquis has been accepted for Autonomous Agents and Multi-Agent Systems.
    2021.02.08 The article "An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces" written by Hien D. Nguyen, Chiaki Sakama, Taisuke Sato and Katsumi Inoue has been accepted for Journal of Logic and Computation.
    2021.02.02 Presentation of Master theses by Yutaro Totsuka and Tianyu Chen (Tokyo Tech).
    2021.01.20 Dissertation progress report and Presentation for qualification of Master's degree by Mitsuhiro Odaka (SOKENDAI).

    2022|2020