研究者

J-GLOBAL ID：200901024982789570 更新日: 2019年12月10日

井上克巳

イノウエカツミ | Katsumi Inoue

所属機関・部署：
職名：教授
その他の所属（所属・部署名・職名） (2件)：

東京工業大学情報理工学院特任教授
総合研究大学院大学複合科学研究科教授

ホームページURL (2件)： http://research.nii.ac.jp/il/ , http://research.nii.ac.jp/il/

研究分野 (4件)：計算科学 , 数理情報学 , 知能情報学 , 生命・健康・医療情報学

研究キーワード (14件)：知識表現 , 推論 , 結論発見 , アブダクション , 論理プログラミング , 解集合プログラミング , 帰納論理プログラミング , 知識発見 , 機械学習 , 人工知能 , マルチエージェントシステム , レジリエンス , システム生物学 , ブーリアン・ネットワーク

競争的資金等の研究課題 (24件)：

2018 - 2022 テンソル空間における巨大知識グラフのための高次推論技術の開発
2017 - 2021 状態遷移列からの関係ダイナミクス学習
2017 - 2021 動的環境におけるロバストなチーム編成に関する研究
2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発
2014 - 2020 ダイナミック環境下における意図認識に関する研究

2014 - 2017 レジリエントなシステムのモデル化と推論に関する研究

2014 - 2016 論理プログラム表現に基づくセルオートマトン遷移規則学習

2012 - 2015 命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

2014 - 「サイバーセキュリティ問題の多目的最適化によるモデル化と解法」 (共同提案者)

2008 - 2012 「推論による仮説発見とシステム生物学への応用」 (No.20240016; 研究代表者)

2008 - 2012 「制約最適化問題のSAT変換による解法とその並列分散処理に関する研究」 (No.20240003; 研究分担者)

2011 - 「グローバル調節ネットワークにおける因果関係と推論を用いた知識発見」 (共同提案者)

2010 - 「代謝ネットワークにおける因果関係と推論を用いた知識発見のための新規プラットホーム構築に関する基礎的研究」 (共同提案者)

2007 - 2009 「システム生物学における仮説発見に関する研究」

2005 - 2007 「仮説発見システムの高度化と効率的実現に関する研究」 (No.17300051; 研究代表者)

2002 - 2004 「結論発見プログラムに基づく知識発見に関する研究」

2004 - 知識発見に関する研究

2000 - 自動推論に関する研究

1993 - 論理プログラミングの基礎に関する研究

1991 - 不完全な知識の下での推論方式の研究

不完全な知識の下での推論方式の研究

論理プログラミングに関する研究

自動定理証明に関する研究

仮説発見システムの基礎およびバイオ応用に関する研究

全件表示

論文 (400件)：

Yin Jun Phua, Katsumi Inoue. Learning Logic Programs from Noisy State Transition Data. In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019; Plovdiv, Bulgaria, September 3-5, 2019), Lecture Notes in Artificial Intelligence,. 2019. to appear
Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue. Identifying Belief Sequences in a Network of Communicating Agents. In: Principles and Practice of Multi-Agent Systems: Proceedings of the 22nd International Conference (PRIMA 2019; Turin, Italy, October 28-31, 2019), Lecture Notes in Artificial Intelligence,. 2019. 11873. 370-386
Chiaki Sakama, Katsumi Inoue. Ordering Argumentation Frameworks. In: Gabriele Kern-Isberner, Zoran Ognjanović (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proceedings of the 15th European Conference (ECSQARU 2019; Belgrade, Serbia, Sep 18-20, 2019), Lecture Notes in Artificial Intelligence. 2019. 11726. 87-98
Chiaki Sakama, Katsumi Inoue, Tony Ribeiro. Learning Inference Rules from Data. Künstliche Intelligenz. 2019. 33. 3. 267-278
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis. What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19). 2019. 1865-1871

MISC (114件)：

井上克巳, 坂間千秋, 佐藤泰介. 推論と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. arXiv:1805.00068. 2018
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
番原睦則, 井上克巳, ベンジャミンカウフマン, トルステンシャウブ, 宋剛秀, 田村直之, フィリップワンコ. 解集合プログラミングによるカリキュラムベース・コース時間割編成. 第29回RAMPシンポジウム論文集. 2017. 73-88

書籍 (18件)：

Studies on Abductive and Nonmonotonic Reasoning. Doctoral Dissertation, Kyoto University, Kyoto
1992
Javaによる分散協調制約解消システム
IPA未踏ソフトウェア創造事業成果報告書 2004
Javaによる分散協調制約解消システム. IPA未踏ソフトウェア創造事業成果報告書
2004
結論発見プログラムに基づく知識発見に関する研究.平成14年度〜平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書 (17300051)
2005
結論発見プログラムに基づく知識発見に関する研究
平成14年度~平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書 (17300051)) 2005

講演・口頭発表等 (121件)：

制約充足問題のSAT符号を用いたパッキング配列の構成
(人工知能学会第26回全国大会(JSAI 2012))
Incorporating Lemmas into Consequence-finding Procedure SOL
(Dagstuhl-Seminar 01101 ``Deduction'' 2001)
Speculative Computation by Consequence Finding
(Dagstuhl-Seminar 02481 ``Programming Multi Agent Systems based on Logic'' 2002)
Towards a Heterogeneous Constraint Solving System on the Grid
(The 1st Franco-Japanese Workshop on Constraint Programming (FJCP 2004) 2004)
A Competitive and Cooperative Approach to SAT
(Symposium on Discrete Algorithms and Optimization 2004)

学歴 (3件)：

1978 - 1982 京都大学工学部数理工学科
1982 - 1984 京都大学大学院工学研究科数理工学専攻
- 1993 京都大学大学院工学研究科博士(工学)

学位 (1件)：

博士(工学)

経歴 (9件)：

1984/04 - 1993/03 松下電器産業
1986/10 - 1993/03 新世代コンピュータ技術開発機構
1993/04 - 1997/03 豊橋技術科学大学工学部
1997/04 - 2004/03 神戸大学工学部
2008/04 - 2012/03 東京工業大学大学院客員教授

全件表示

委員歴 (69件)：

2019/12 - 現在 The 18th International Conference on Computational Methods in Systems Biology (CMSB 2020) Member of Program Committee
2019/09 - 現在 The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) Senior Program Committee member
2018/06 - 現在 NII Shonan Meeting 157: “Formal Methods for the Synthesis of Biomolecular Circuits” Co-Organizer
2017/09 - 現在 Atlanstic 2020, France Member of Scientific Committee
2017/04 - 現在 (一社)人工知能学会代議員

2010/10 - 現在 NII 湘南会議学術委員

2005/03 - 現在 Theory and Practice of Logic Programming (Cambridge Journal) Editorial Advisor

2019/02 - 2019/12 The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019) Member of Program Committee

2018/11 - 2019/11 The 28th International Conference on Inductive Logic Programming (ILP 2019) Member of Program Committee

2018/12 - 2019/09 The 35th International Conference on Logic Programming (ICLP 2019) Member of Program Committee

2017/10 - 2018/11 The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) Member of Senior Program Committee

2018/05 - 2018/10 The 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) Member of Program Committee

2018/02 - 2018/09 The 28th International Conference on Inductive Logic Programming (ILP 2018) Member of Program Committee

2016/12 - 2018/04 The 27th International Conference on Inductive Logic Programming (ILP 2017) Member of Program Committee

2017/06 - 2018/02 The 32nd AAAI Conference on Artificial Intelligence (AAAI-18) Member of Program Committee

2014/09 - 2017/12 The 25h International Conference on Inductive Logic Programming (ILP 2015) Conference co-Chair

2017/05 - 2017/10 The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Member of Program Committee

2016/11 - 2017/08 The 26th International Joint Conference on Artificial Intelligence (IJCAI-17) Member of Senior Program Committee

2016/10 - 2017/07 The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017) Member of Program Committee

2015/12 - 2017/05 The 26th International Conference on Inductive Logic Programming (ILP 2016) Member of Program Committee

2016/01 - 2016/10 The 32nd International Conference on Logic Programming (ICLP 2016) Member of Program Committee

2014/05 - 2016/06 (一社)人工知能学会理事

2015/09 - 2016/05 The 16th International Workshop on Non-Monotonic Reasoning (NMR 2016) Member of Program Committee

2015 - The 29th AAAI Conference on Artificial Intelligence (AAAI-15) Member of Program Committee

2015 - Workshop on Emergent Computational Logics (affiliated with The 5th World Congress and School on Universal Logic [UNILOG 2015]) Workshop co-Organizer

2015 - The 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Member of Senior Program Committee

2015 - 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) Member of Program Committee

2015 - The 1st Global Conference on Artificial Intelligence (GCAI 2015) Member of Program Committee

2014 - The 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Member of Program Committee

2014 - The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) Program Committee

2014 - The 28th AAAI Conference on Artificial Intelligence (AAAI-14) Program Committee

2014 - The 8th International Conference on the Prestigious Applications of Intelligent Systems (PAIS 2014) Member of Program Committee

2014 - The 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee

2014 - The 24th International Conference on Inductive Logic Programming (ILP 2014) Member of Program Committee

2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Program Committee

2014 - Special Track on SAT and CSP Technologies, The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2014) Member of Program Committee

2013 - The 12th International Conference on Autonomous agents and Multiagent Systems (AAMAS 2013) Program Committee

2013 - The 1st Workshop on Systems Resilience (WSR 2013) Program Committee

2013 - The 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) Program Committee

2013 - The 23rd International Conference on Inductive Logic Programming (ILP 2013) Program Committee

2013 - The 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIV) Program Committee

2013 - The 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Program Committee

2013 - The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2013) Program Committee

2013 - 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013) Workshop co-Chair

2013 - Special Track on SAT and CSP Technologies, The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2013) Program Committee

2012 - Computational Logic in Multi-Agent Systems (CLIMA) Steering Committee

2012 - The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) Program Committee

2012 - The 20th European Conference on Artificial Intelligence (ECAI 2012) Program Committee

2012 - The 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIII) Program Committee

2012 - The 28th International Conference on Logic Programming (ICLP 2012) Program Committee

2012 - The 22nd International Conference on Inductive Logic Programming (ILP 2012) Program Committee

2012 - ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB 2012) Workshop co-Organizer

2011 - The 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XI) Member of Program Committee

2011 - The 7th Workshop on Learning with Logics and Logics for Learning (LLLL 2011) Member of Program Committee

2011 - The 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011) Member of Program Committee

2011 - The 8th International Workshop on First-Order Theorem Proving (FTP 2011) Member of Program Committee

2011 - The 27th International Conference on Logic Programming (ICLP 2011) Member of Program Committee

2011 - The 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XII) Member of Program Committee

2011 - The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) Member of Program Committee

2011 - The 21st International Conference on Inductive Logic Programming (ILP 2011) Member of Program Committee

2010 - The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee

2010 - The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology Symposium co-Organizer

2010 - Sub-Workshop on Preferences and Norm at the Non-Monotonic Reasoning Workshop 2010 (NMR 2010) Member of Program Committee

2010 - Sub-Workshop on Declarative Programming and Systems at the Non-Monotonic Reasoning Workshop 2010 (NMR 2010) Member of Program Committee

2010 - The 20th International Conference on Inductive Logic Programming (ILP 2010) Member of Program Committee

2004 - (社)人工知能学会論文誌編集委員

2003 - (社)人工知能学会評議員

1992 - 2002 (社)人工知能学会研究会連絡委員

1995 - 1999 (社)情報処理学会研究会連絡委員,査読委員

全件表示

受賞 (27件)：

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"
2016/09 - 日本ソフトウェア科学会第20回研究論文賞(2015年度) "パッキング配列問題の制約モデリングとSAT符号化"

2016/06 - 人工知能学会人工知能学会全国大会優秀論文賞 "組合せテストケース生成問題に対する制約解集合プログラミングの適用"

2015/11 - ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems) Best Presentation Award & Best Session Paper Award "Skill-Based Dynamic Team Formation Problem"

2014/10 - 合同エージェントワークショップ&シンポジウム2014 (JAWS 2014) 優秀論文賞 "ロバストなチーム編成問題"

2014/09 - 日本ソフトウェア科学会第3回ソフトウェア論文賞 "GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー"

2013/12 - The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013) Best Presentation Award "AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization"

2013/09 - 合同エージェントワークショップ&シンポジウム2013 (JAWS 2013) 優秀論文賞 "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization"

2013/05 - The 12th International Conference on Autonomous Agents and Multi-Agent Systems Best Challenges and Visions Paper Award (3rd Prize) "Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems"

2013/07 - SAT Competition 2013 銀賞 (Application, Certified UNSAT) glueminisat-cert-unsat 2.2.7j

2012/10 - 合同エージェントワークショップ&シンポジウム (JAWS) 2012 IEEE Computer Society Japan Chapter JAWS Young Researcher Award

2011/09 - 日本ソフトウェア科学会第28回大会高橋奨励賞

2011/01 - BIOINFORMATICS 2011 Best Student Paper Award

2011/06 - SAT 2011 Competition Application UNSAT部門・金賞,SAT+UNSAT部門・銀賞,UNSAT WC Time部門・銀賞 glueminisat

2011 - UNSAT and 2nd Prizes in SAT+UNSAT and UNSAT WC Time at SAT 2011 Competition The 1st Prize

2010/06 - The 20th International Conference on Inductive Logic Programming (ILP2010) Best Student Paper Award

2009/06 - (社)人工知能学会 2009年度全国大会優秀賞

2000 - (社)人工知能学会研究奨励賞

2000 - Japanese Society for Artificial Intelligence JSAI SIG Research Award

1999 - (社)人工知能学会 1999年度研究奨励賞

1988 - (社)情報処理学会学術奨励賞

1988 - Information Processing Society of Japan IPSJ Convention Award

1987 - (社)情報処理学会 1987年後期大会学術奨励賞

1987 - Information Processing Society of Japan IPSJ Convention Award

全件表示

所属学会 (4件)：

人工知能学会 , 日本ソフトウェア科学会 , 情報処理学会 , AAAI

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

井上 克巳

井上克巳