English | Japanese

イベント・ニュース (2021)

2021.12.09 線形代数を用いた推論および機械学習に関する研究ミーティング(和歌山大).
2021.11.27 第11回日本医療情報学会「医用人工知能研究会」&人工知能学会「医用人工知能研究会」(SIG-AIMED) 合同研究会(オンライン開催)にて薬師寺椋太君が発表しました.
2021.10.29 Tuan Nguyen, Katsumi Inoue, Chiaki Sakama による論文 "Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation"New Generation Computing に採択されました.
2021.10.27 Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue による論文 "Learning any Memoryless Discrete Semantics for Dynamical Systems Represented by Logic Programs" が IJCLR 2021 において ILP 2021 最優秀論文 に選出されました.
2021.10.15 Mitsuhiro Odaka, Katsumi Inoue による論文 "Modeling Viral Dynamics in SARS-CoV-2 Infection Based on Differential Equations and Numerical Analysis"Heliyon に採択されました.
2021.10.14 Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue による論文 "Learning any Memoryless Discrete Semantics for Dynamical Systems Represented by Logic Programs"Machine Learning に採択されました.
2021.09.24 ILP 2020-2021 @ IJCLR 2021 (2021.10.25-27, Virtual) に次の2論文が採択されました:
  • 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)

  • IJCLR 2021 ではさらに次の2論文についても発表に招待されました:
  • 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 ICTAI 2021 (2021.11.01-03, Virtual) に次の2論文が採択されました:
  • 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 Akihiro Takemura, Katsumi Inoue による論文 "Gradient-Based Supported Model Computation in Vector Spaces"ASPOCP 2021 (2021.09.21, Virtual) に採択されました.
    2021.08.06 Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue による論文 "Learning from Interpretation Transition Using Differentiable Logic Programming Semantics"Machine Learning に採択されました.
    2021.08.02 Chiaki Sakama, Katsumi Inoue, Taisuke Sato による論文 "Logic Programming in Tensor Spaces"Annals of Mathematics and Artificial Intelligence に採択されました.
    2021.07.15 博士論文本審査:Guillaume Lorthioir君(総研大・情報学専攻,オンライン実施).
    2021.06.29 Akihiro Takemura, Katsumi Inoue による論文 "Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming"ICLP 2021 の Main Track (Technical Communication) に採択されました.
    2021.06.28 Tianyu Chen, Florian Richoux, Javier Torres and Katsumi Inoue による論文 "Interpretable Utility-Based Models Applied to the FightingICE Platform"IEEE CoG 2021 に採択されました.
    2021.06.18-19 NIIオープンハウス2021におけるオンライン・ポスター発表「機械学習と記号推論の融合」 (スライド, ポスター).
    2021.06.18 Taisuke Sato, Ryosuke Kojima による論文 "Boolean Network Learning in Vector Spaces for Genome-Wide Network Analysis"KR 2021 の KR & ML Track に採択されました.
    2021.06.15 PoS 2021 (2021.07.05, Online) に次の2論文が採択されました:
  • 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 Guillaume Lorthior, Katsumi Inoue, Gauvain Bourgne による論文 "Inferring Agents’ Goals from Observing Successful Traces"Applied Sciences に採択されました.
    2021.04.13 Jose Barambones, Florian Richoux, Ricardo Imbert, Katsumi Inoue による論文 "Resilient Team Formation with Agent Networks Stabilisability for Task Allocation"ACM Transactions on Autonomous and Adaptive Systems に採択されました.
    2021.04.05 日本学術振興会・科学研究費補助金に新規研究課題が採択されました:
  • 2021〜2024年度・基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」(課題番号: 21H04905)
  • 2021.04.01 メンバーページ を更新.
    2021.03.18 2020年度NII共同研究「巨大な制約充足問題を解くためのSAT型CSPソルバーの研究開発」第3回研究ミーティング (オンライン開催).
    2021.03.10-11 2020年度科研費プロジェクト合同成果発表ミーティング: (1)基盤研究(A)「状態遷移列からの関係ダイナミクス学習」,(2)基盤研究(B)「動的環境におけるロバストなチーム編成に関する研究」,(3)基盤研究(B)「テンソル空間における巨大知識グラフのための高次推論技術の開発」 (オンライン開催).
    2021.03.09 Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis による論文 "On the Computation of Probabilistic Coalition Structures"Autonomous Agents and Multi-Agent Systems に採択されました.
    2021.02.08 Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue による論文 "An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces"Journal of Logic and Computation に採択されました.
    2021.02.02 2020年度修士論文発表会:戸塚悠太郎君,陳天宇君 (東工大).
    2021.01.20 前期報告会・修士学位取得資格者認定:小高充弘君 (総研大).

    2022|2020