研究者
J-GLOBAL ID:200901024982789570   更新日: 2022年08月10日

井上 克巳

イノウエ カツミ | Inoue Katsumi
所属機関・部署:
職名: 教授
その他の所属(所属・部署名・職名) (2件):
ホームページURL (1件): http://research.nii.ac.jp/il/
研究分野 (4件): 数理情報学 ,  計算科学 ,  生命、健康、医療情報学 ,  知能情報学
研究キーワード (15件): ブーリアン・ネットワーク ,  SAT ,  人工知能 ,  知識表現 ,  解集合プログラミング ,  レジリエンス ,  システム生物学 ,  マルチエージェントシステム ,  結論発見 ,  論理プログラミング ,  帰納論理プログラミング ,  推論 ,  機械学習 ,  知識発見 ,  アブダクション
競争的資金等の研究課題 (20件):
  • 2022 - 2025 人工知能技術によるSARS-CoV-2マルチスケール感染系のネットワークダイナミクス解明
  • 2021 - 2025 知識表現・推論と機械学習の統合によるロバストAIの実現
  • 2018 - 2023 テンソル空間における巨大知識グラフのための高次推論技術の開発
  • 2021 - 2022 新型コロナウイルスSARS-CoV-2感染系におけるネットワークダイナミクスのマルチスケールモデリング
  • 2017 - 2022 状態遷移列からの関係ダイナミクス学習
全件表示
論文 (446件):
  • Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue. Diagnosis of Event Sequences with LFIT. In: Stephen Muggleton, Alireza Tamaddoni-Nezhad (eds.), Inductive Logic Programming: Proceeding of the 31st International Conference (ILP 2022; Windsor Great Park, UK, September 28-30, 2022), Lecture Notes in Artificial Intelligence, Springer. 2022. to appear
  • Akihiro Takemura, Katsumi Inoue. Gradient-Based Supported Model Computation in Vector Spaces. In: Daniela Inclezan, Marco Maratea (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 16th International Conference (LPNMR 2022; Genova Nervi, Italy, September 5-9, 2022), Lecture Notes in Artificial Intelligence, Springer. 2022. to appear
  • Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue. DPS: A Framework for Deterministic Parallel SAT Solvers. The 12th International Workshop on Pragmatics of SAT (PoS 2022), EasyChair Preprint. 2022. 8553
  • Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang. Learning First-Order Rules with Differentiable Logic Program Semantics. In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22; Vienna, Austria, 23-29 July 2022). 2022. 3008-3014
  • Mitsuhiro Odaka, Magnin Morgan, Katsumi Inoue. A Data-Driven and Knowledge-Based Approach to Inferring Temporal Gene Networks for COVID-19. International Conference on Critical Assessment of Massive Data Analysis 2022 (CAMDA 2022). 2022
もっと見る
MISC (106件):
  • Camilo Sarmiento, Gauvain Bourgne, Daniele Cavalli, Katsumi Inoue, Jean-Gabriel Ganascia. Action Languages Based Actual Causality in Ethical Decision Making Contexts. CoRR abs/2205.02919. 2022. 19p.
  • Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang. Learning First-Order Rules with Differentiable Logic Program Semantics. CoRR abs/2204.13570. 2022. 14p.
  • Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue. Gene Network Inference from Single-Cell Omics Data and Domain Knowledge for Constructing COVID-19-Specific ICAM1-Associated Pathways. Research Square. 2022
  • Hidetomo Nabeshima, Katsumi Inoue. ManyGlucose 4.1-60. Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki. 2020. B-2020-1. 58
  • 井上 克巳, 坂間 千秋, 佐藤 泰介. 推論とAIプログラミング. 人工知能学会誌. 2019. 34. 5. 703-713
もっと見る
書籍 (19件):
  • Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition
    Springer 2022
  • Computational Framework of Resilience
    Springer 2016 ISBN:9783319398105
  • Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto, Japan, August 20-22, 2015)
    CEUR Workshop Proceedings, Vol. 1636 2016
  • Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan, August 20-22, 2015), Lecture Notes in Artificial Intelligence, Vol.9575
    Springer 2016 ISBN:9783319405650
  • システムのレジリエンス-さまざまな擾乱からの回復力-
    近代科学社 2016 ISBN:9784764905085
もっと見る
講演・口頭発表等 (162件):
  • GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー
    (2022年度人工知能学会全国大会(第36回),4F3-OS-8b-03 2022)
  • 放射線下での細胞挙動予測に対する機械学習手法の精度比較
    (第11回日本医療情報学会・医用人工知能研究会&人工知能学会・医用人工知能研究会(SIG-AIMED) 合同研究会 SIG-AIMED-011-09 2021)
  • Learning any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs
    (The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021) 2021)
  • Learning from Interpretation Transition Using Differentiable Logic Programming Semantics
    (The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021) 2021)
  • Learning (from any) Semantics of a Biological Regulatory Network
    (Journées Bioss-IA (4ème édition), Groupe de travail sur la biologie systémique symbolique, France (virtual) 2020)
もっと見る
学歴 (3件):
  • - 1993 京都大学 博士(工学)
  • 1982 - 1984 京都大学 数理工学専攻
  • 1978 - 1982 京都大学 数理工学科
学位 (1件):
  • 博士(工学) (京都大学)
経歴 (11件):
  • 2021/04 - 現在 東京工業大学 情報理工学院 特定教授
  • 2020/02 - 現在 École Centrale de Nantes 客員教授
  • 2005/04 - 現在 総合研究大学院大学 複合科学研究科 情報学専攻 教授
  • 2004/03 - 現在 国立情報学研究所 教授
  • 2016/04 - 2021/03 東京工業大学 情報理工学院 特任教授
全件表示
委員歴 (116件):
  • 2022/01 - 現在 The 31st International Conference on Inductive Logic Programming (ILP 2022) Member of Program Committee
  • 2022/01 - 現在 The 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022) Member of Program Committee
  • 2021/11 - 現在 The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Member of Program Committee
  • 2021/09 - 現在 The 38th International Conference on Logic Programming (ICLP 2022) Member of Program Committee
  • 2021/07 - 現在 The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22) Member of Program Committee
全件表示
受賞 (25件):
  • 2022/08 - SAT Competition 2022 2nd Place at Main Parallel Track & 3rd Place at Anniversary Parallel Track NPS & DPS
  • 2021/10 - The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) The Best Paper Award Learning any Memory-Less Discrete Semantics for Dynamical;Systems Represented;by Logic Programs
  • 2020/07 - SAT Competition 2020 3rd Places - Parallel Track & Parallel Track UNSAT ManyGlucose (4.1-60)
  • 2019/11 - ILP 2019: 29th International Conference on Inductive Logic Programming, Best Student Paper Award "Learning Logic Programs from Noisy State Transition Data"
  • 2018/09 - 情報処理学会 情報処理学会論文誌・特選論文 "SAT技術を用いたペトリネットのデッドロック検出手法の提案"
全件表示
所属学会 (4件):
日本ソフトウェア科学会 ,  AAAI ,  情報処理学会 ,  人工知能学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る