研究者
J-GLOBAL ID:200901024982789570   更新日: 2021年01月14日

井上 克巳

イノウエ カツミ | Inoue Katsumi
所属機関・部署:
職名: 教授
その他の所属(所属・部署名・職名) (2件):
ホームページURL (2件): http://research.nii.ac.jp/il/http://research.nii.ac.jp/il/
研究分野 (4件): 計算科学 ,  生命、健康、医療情報学 ,  数理情報学 ,  知能情報学
研究キーワード (15件): SAT ,  ブーリアン・ネットワーク ,  人工知能 ,  解集合プログラミング ,  レジリエンス ,  知識表現 ,  機械学習 ,  マルチエージェントシステム ,  知識発見 ,  帰納論理プログラミング ,  論理プログラミング ,  結論発見 ,  アブダクション ,  推論 ,  システム生物学
競争的資金等の研究課題 (16件):
  • 2018 - 2022 テンソル空間における巨大知識グラフのための高次推論技術の開発
  • 2017 - 2021 動的環境におけるロバストなチーム編成に関する研究
  • 2017 - 2021 状態遷移列からの関係ダイナミクス学習
  • 2014 - 2021 ダイナミック環境下における意図認識に関する研究
  • 2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
全件表示
論文 (424件):
  • Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean Marie Lagniez. Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. The 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021). 2021. to appear
  • Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux. Les enjeux de l’inférence de modèles dynamiques des systèmes biologiques à partir de séries temporelles. In: Elisabeth Remy, Cédric Lhoussaine (eds.), Approches Symboliques de la Modélisation et de l’Analyse des Systèmes Biologiques. 2021. (to appear)
  • Mitsuhiro Odaka, Katsumi Inoue. Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication. In: Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020). 2020. 75-82
  • Tuan Nguyen, Katsumi Inoue, Chiaki Sakama. Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. In: Proceedings of the 36th International Conference on Logic Programming (Technical Communications) (ICLP 2020; UNICAL, Rende, Italy, 18-24 September 2020), Electronic Proceedings in Theoretical Computer Science. 2020. 325. 192-205
  • Akihiro Takemura, Katsumi Inoue. Rule Extraction from Decision Tree Ensembles by Answer Set Programming. The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). 2020. poster
もっと見る
MISC (103件):
  • 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
  • Ali A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispüh. Computational Intractability Law Molds the Topology of Biological Networks. bioRxiv. 2019. 510495
  • Tobias Kaminski, Thomas Eiter, Katsumi Inoue. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR. 2018. abs/1805.00068
  • Katsumi Inoue. Learning Programs from Observations. In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports. 2018. 7. 9
もっと見る
書籍 (18件):
  • 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
  • Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding
    Imperial College Press 2014
もっと見る
講演・口頭発表等 (157件):
  • 記号推論と科学
    (JST-CRDS 俯瞰セミナーシリーズ「機械学習と科学」 2020)
  • 解集合プログラミングによる決定木アンサンブルからのルール抽出
    (2020年度 人工知能学会全国大会(第34回), 3E5-GS-2-03 2020)
  • 説明可能な論理規則のグラフ埋め込みによる学習 (in Japanese)
    (2020年度 人工知能学会全国大会(第34回), 3E1-GS-2-02 2020)
  • Inferring Player’s Strategy to Design Adaptive Agents in RTS Game
    (The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 2G6-ES-3-02 2020)
  • 解集合プログラミングによる様相命題論理Kの充足可能性判定
    (2020年度 人工知能学会全国大会(第34回), 2N5-OS-17b-05 2020)
もっと見る
学歴 (3件):
  • - 1993 京都大学 博士(工学)
  • 1982 - 1984 京都大学 数理工学専攻
  • 1978 - 1982 京都大学 数理工学科
学位 (1件):
  • 博士(工学) (京都大学)
経歴 (10件):
  • 2020/02 - 現在 École Centrale de Nantes 客員教授
  • 2016/04 - 現在 東京工業大学 情報理工学院 特任教授
  • 2005/04 - 現在 総合研究大学院大学 複合科学研究科 情報学専攻 教授
  • 2004/03 - 現在 国立情報学研究所 教授
  • 2015/04 - 2016/03 東京工業大学大学院 情報理工学研究科 特任教授
全件表示
委員歴 (107件):
  • 2020/08 - 現在 The 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Member of Senior Program Committee
  • 2020/05 - 現在 The 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio2020) Member of Program Committee
  • 2020/01 - 現在 The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) Member of Program Committee
  • 2017/09 - 現在 Atlanstic 2020, France Member of Scientific Committee
  • 2017/04 - 現在 (一社)人工知能学会 代議員
全件表示
受賞 (23件):
  • 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技術を用いたペトリネットのデッドロック検出手法の提案"
  • 2018/07 - The 34th International Conference on Logic Programming (ICLP 2018) Best Paper Award "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning"
  • 2017/08 - KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award "Linear Algebraic Characterization of Logic Programs"
全件表示
所属学会 (4件):
日本ソフトウェア科学会 ,  AAAI ,  情報処理学会 ,  人工知能学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る