井上 克巳

J-GLOBALへ         更新日: 18/05/26 12:38
 
アバター
研究者氏名
井上 克巳
URL
http://research.nii.ac.jp/il/
所属
国立情報学研究所
部署
情報学プリンシプル研究系
職名
教授
学位
博士(工学)
その他の所属
東京工業大学総合研究大学院大学

プロフィール

趣味:レコード蒐集

研究分野

 

経歴

 
2018年4月
 - 
現在
総合研究大学院大学 情報学専攻 専攻長
 
2015年4月
 - 
現在
東京工業大学 情報理工学院 特任教授
 
2005年4月
 - 
現在
総合研究大学院大学 複合科学研究科 情報学専攻 教授
 
2004年3月
 - 
現在
国立情報学研究所 教授
 
2008年4月
 - 
2012年3月
東京工業大学大学院 情報理工学研究科 客員教授
 
1997年4月
 - 
2004年3月
神戸大学 工学部
 
1993年4月
 - 
1997年3月
豊橋技術科学大学 工学部
 
1986年10月
 - 
1993年3月
新世代コンピュータ技術開発機構
 
1984年4月
 - 
1993年3月
松下電器産業
 

論文

 
Abducing Relations in Continuous Spaces
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
In: Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18; Stockholm, Sweden, July 13-19, 2018)   accepted   2018年7月   [査読有り]
Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue
FLOC 2018 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), EasyChair Preprint   172    2018年7月   [査読有り]
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Theory and Practice of Logic Programming   accepted   2018年7月   [査読有り]
To be presented at the 31st International Conference on Logic Programming (ICLP 2018; Oxford, UK, July 14-17, 2018).
Learning Commonsense Knowledge through Interactive Dialogue
Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
In: Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2018; Oxford, UK, July 14-17, 2018)   accepted   2018年7月   [査読有り]
Recoverable Team Formation: Building Teams Resilient to Change
Emir Demirović, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018)   forthcoming   2018年7月   [査読有り]
Also to be presented at: The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018; Delft, The Netherlands, June 26-29, 2018) as an extended abstract of a work pub...
Multi-Objective Distributed Pseudo-Tree Optimization
Maxime Clement, Tenda Okimoto, Katsumi Inoue
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018)   forthcoming   2018年7月   [査読有り]
Yin Jun Phua, Sophie Tourret, Katsumi Inoue
In: Nicolas Lachiche, Christel Vrain (eds.), Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017), CEUR Workshop Proceedings   2085 27-37   2018年3月   [査読有り]
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
In: Nicolas Lachiche, Christel Vrain (eds.), Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017; Orléans, France, September 4-6, 2017), Lecture Notes in Computer Science   10759 124-139   2018年3月   [査読有り]
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals of Operations Research   forthcoming   2018年1月   [査読有り]
January 2018: Online First
To be presented at: The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018; Delft, The Netherlands, June 24-29, 2018) as an accepted paper for Journal Presentation Track.
Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem
Huynh Thanh Trung, Pham Quang Dung, Emir Demirović, Maxime Clement, Katsumi Inoue
In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017; December 2017, Kuala Lumpur, Malaysia)   214-228   2017年12月   [査読有り]
Maxime Clement, Tenda Okimoto, Katsumi Inoue
IEICE Transactions on Information and Systems   100-D(12) 2897-2905   2017年12月   [査読有り]
Special issue on inductive logic programming
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
Machine Learning   106(12) 1863-1865   2017年12月   [招待有り]
Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
International Journal of Digital Enterprise Technology   accepted   2017年10月   [査読有り]
David Martínez, Guillem Alenya, Tony Ribeiro, Katsumi Inoue, Carme Torras
Journal of Machine Learning Research   18(78) 1-78   2017年10月   [査読有り]
Hidetomo Nabeshima, Katsumi Inoue
In: Serge Gaspers, Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science,   10491 136-144   2017年8月   [査読有り]
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
In: Gang Li, et al. (eds.), Knowledge Science, Engineering and Management: Proceedings of the 10th International Conference (KSEM 2017; Melbourne, VIC, Australia, August 19-20, 2017), Lecture Notes in Artificial Intelligence,   10412 520-533   2017年8月   [査読有り]
Received "Best Paper Award".
Kotaro Okazaki, Katsumi Inoue
In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017; Thessaloniki, Greece, 24-26 July 2017),   1 53-61   2017年7月   [査読有り]
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
In: Marcello Balduccini, Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence,   10377 265-278   2017年7月   [査読有り]
Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks
Yin Jun Phua, Sophie Tourret, Katsumi Inoue
In: Proceedings of the 1st International Workshop on Symbolic-Neural Learning (SNL-2017; Nagoya, Japan, July 7-8, 2017),   No.10   2017年7月   [査読有り]
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks
Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
In: Fengyu Cong, Andrew Leung, Qinglai Wei (eds.), Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017; Sapporo, Japan, June 21-23, 2017), Part 1, Lecture Notes in Computer Science,   10261 483-492   2017年6月   [査読有り]

書籍等出版物

 
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
Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto (担当:共編者)
Springer   2016年7月   
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto, Japan, August 20-22, 2015)
Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto (担当:共編者)
CEUR Workshop Proceedings, Vol. 1636   2016年7月   
Computational Framework of Resilience
Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, and Katsumi Inoue (担当:共著, 範囲:Chapter 12, in: Yoshiki Yamagata and Hiroshi Maruyama (eds.), Urban Resilience: A Transformative Approach)
Springer   2016年8月   
システムのレジリエンス―さまざまな擾乱からの回復力―
情報・システム研究機構 新領域融合センター (担当:共著)
近代科学社   2016年4月   
Logical Modeling of Biological Systems
Luis Fariñas del Cerro and Katsumi Inoue (担当:共編者)
Wiley (ISTE), London, UK   2014年8月   

講演・口頭発表等

 
重み予測を用いたMLPの初期化による少数例からのダイナミクス深層学習
ポア インジュン, 井上 克巳
第32回人工知能学会全国大会 (JSAI 2018; 鹿児島)   2018年6月8日   
Neural Programmer-Interpretersの拡張と四則演算を用いる文章問題の解答
勝俣 翔太, 井上 克巳
第32回人工知能学会全国大会 (JSAI 2018; 鹿児島)   2018年6月6日   
Learning Programs from Observations [招待有り]
Katsumi Inoue
Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming   2017年9月19日   
Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports, Volume 7, Issue 9, March 2018.
確率的な提携構造形成フレームワークの提案
沖本 天太, 平山 勝敏, シュウィンド ニコラ, 井上 克巳, マルキ ピエール
情報科学技術フォーラム 2017 (FIT 2017)   2017年9月12日   
情報科学技術フォーラム講演論文集 第2分冊 pp.65-70.
リカレントニューラルネットワークによる遅延を伴う解釈遷移からの論理プログラム表現学習
ポア インジュン,Sophie Tourret,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月25日   
Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network
Maxime Clement, Tenda Okimoto, Katsumi Inoue
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月25日   
多デバイス接触履歴からの視聴行動モデル化と知識更新
岡崎 孝太郎,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月24日   
Building Teams Resilient to Change
Nicolas Schwind, Emir Demirović, Tenda Okimoto, Katsumi Inoue
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月24日   
不確実性を考慮した提携構造形成問題に関する一検討
沖本 天太,Nicolas Schwind,平山 勝敏,井上 克巳,Pierre Marquis
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月23日   
GPGPUによるMaxSATオラクルを用いたSATソルバの試作
山口 順也,Sophie Tourret,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月23日   

Misc

 
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
CoRR abs/1805.00068, arXiv.org      2018年4月
解集合プログラミングによるカリキュラムベース・コース時間割編成
番原 睦則, 井上 克巳, ベンジャミン カウフマン, トルステン シャウブ, 宋 剛秀, 田村 直之, フィリップ ワンコ
第29回RAMPシンポジウム論文集   73-88   2017年10月   [依頼有り]
AIにおけるアブダクション
井上 克巳
人工知能学大事典   5-24 264-265   2017年7月   [依頼有り]
機械学習と知識発見
井上 克巳
電子情報通信学会「知識ベース」S3群3編3章   3-4   2017年   [依頼有り]
SATとAI
井上 克巳
情報処理   57(8) 720-723   2016年7月   [依頼有り]

受賞

 
2017年8月
KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award "Linear Algebraic Characterization of Logic Programs"
受賞者: Chiaki Sakama, Katsumi Inoue, Taisuke Sato
 
2016年9月
日本ソフトウェア科学会 第20回研究論文賞(2015年度) "パッキング配列問題の制約モデリングとSAT符号化"
受賞者: 則武 治樹,番原 睦則,宋 剛秀,田村 直之,井上 克巳
 
2016年6月
人工知能学会 人工知能学会全国大会優秀論文賞 "組合せテストケース生成問題に対する制約解集合プログラミングの適用"
受賞者: 兼行 大将,番原 睦則,宋 剛秀,田村 直之,井上 克巳
 
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"
受賞者: Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
 
2014年10月
合同エージェントワークショップ&シンポジウム2014 (JAWS 2014) 優秀論文賞 "ロバストなチーム編成問題"
受賞者: 沖本天太, シュウィンド ニコラ, クレモン マキシム, 井上 克巳
 
2014年9月
日本ソフトウェア科学会 第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"
受賞者: Tenda Okimoto, Maxime Clement, Katsumi Inoue
 
2013年9月
合同エージェントワークショップ&シンポジウム2013 (JAWS 2013) 優秀論文賞 "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization"
受賞者: Alexandre Medi, Tenda Okimoto, Katsumi Inoue
 
2013年5月
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"
受賞者: Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama
 
2013年7月
SAT Competition 2013 銀賞 (Application, Certified UNSAT) glueminisat-cert-unsat 2.2.7j
受賞者: 鍋嶋英知
 

競争的資金等の研究課題

 
テンソル空間における巨大知識グラフのための高次推論技術の開発
日本学術振興会: 科学研究費基盤研究(B)
研究期間: 2018年4月 - 2022年3月    代表者: 坂間千秋教授(和歌山大学)
状態遷移列からの関係ダイナミクス学習
日本学術振興会: 科学研究費基盤研究(A)
研究期間: 2017年4月 - 2021年3月    代表者: 井上 克巳
動的環境におけるロバストなチーム編成に関する研究
日本学術振興会: 科学研究費基盤研究(B)
研究期間: 2017年4月 - 2021年3月    代表者: 沖本天太准教授(神戸大学)
SATを基盤とした新しい制約プログラミングシステムの研究開発
日本学術振興会: 科学研究費基盤研究(B)
研究期間: 2016年4月 - 2019年3月    代表者: 田村直之教授(神戸大学)
ダイナミック環境下における意図認識に関する研究
(株)ビデオリサーチ: 受託研究
研究期間: 2014年10月 - 2019年3月    代表者: 井上 克巳

学歴

 
 
 - 
1993年1月
京都大学 大学院工学研究科 博士(工学)
 
 
 - 
1984年3月
京都大学 大学院工学研究科 数理工学専攻修了
 
 
 - 
1982年3月
京都大学 工学部 数理工学科卒業
 

委員歴

 
2018年2月
 - 
現在
The 28th International Conference on Inductive Logic Programming (ILP 2018)  Member of Program Committee
 
2017年9月
 - 
現在
Atlanstic 2020, France  Member of Scientific Committee
 
2017年4月
 - 
現在
(一社)人工知能学会  代議員
 
2010年10月
 - 
現在
NII 湘南会議  学術委員
 
2005年3月
 - 
現在
Theory and Practice of Logic Programming (Cambridge Journal)  Editorial Advisor
 
2017年10月
 - 
2018年7月
The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18)  Member of Senior Program Committee
 
2016年12月
 - 
2018年4月
The 27th International Conference on Inductive Logic Programming (ILP 2017)  Member of Program Committee
 
2017年6月
 - 
2018年2月
The 32nd AAAI Conference on Artificial Intelligence (AAAI-18)  Member of Program Committee
 
2014年9月
 - 
2017年12月
The 25h International Conference on Inductive Logic Programming (ILP 2015)  Conference co-Chair
 
2017年5月
 - 
2017年10月
The 3rd Global Conference on Artificial Intelligence (GCAI 2017)  Member of Program Committee