English | Japanese

Events and News (2021)

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 paper "On the Computation of Probabilistic Coalition Structures" by Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis has been accepted for Autonomous Agents and Multi-Agent Systems.
2021.02.08 The paper "An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces" by Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, 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