井上 克巳


井上 克巳

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

プロフィール

趣味:レコード蒐集

研究分野

 

経歴

 
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月
松下電器産業
 

論文

 
Learning Logic Program Representation for Delayed Systems with Limited Training Data
Yin Jun Phua, Sophie Tourret, and Katsumi Inoue
In: The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017),   to appear   2017年9月   [査読有り]
Learning Programs with Continuous Domains from State Transitions
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, and Katsumi Inoue
In: The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017),   to appear   2017年9月   [査読有り]
Relational Reinforcement Learning for Planning with Exogenous Effects
David Martínez, Guillem Alenya, Tony Ribeiro, Katsumi Inoue, and Carme Torras
Journal of Machine Learning Research   to appear   2017年8月   [査読有り]
Coverage-Based Clause Reduction Heuristics for CDCL Solvers
Hidetomo Nabeshima and Katsumi Inoue
In: Serge Gaspers and 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月   [査読有り]
Linear Algebraic Characterization of Logic Programs
Chiaki Sakama, Katsumi Inoue, and 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".
Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences
Kotaro Okazaki and 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, and Naoyuki Tamura
In: Marcello Balduccini and 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, and 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月   [査読有り]
Distributed Pareto Local Search for Multi-Objective DCOPs
Maxime Clement, Tenda Okimoto, and Katsumi Inoue
IEICE Transactions on Information and Systems   (D) accepted   2017年6月   [査読有り]
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks
Sophie Tourret, Enguerrand Gentet, and Katsumi Inoue
In: Fengyu Cong, Andrew Leung, and 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月   [査読有り]
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, and Katsumi Inoue
Algorithms   10(1) No.8   2017年1月   [査読有り]
Learning Delays in Biological Regulatory Networks from Time Series Data
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, and Katsumi Inoue
Genomics and Computational Biology   3(2) e43   2017年1月   [査読有り]
Multi-Objective Nurse Rerostering Problem
Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, and Katsumi Inoue
In: Quan Bai, Fenghui Ren, Katsuhide Fujita, Minjie Zhang and Takayuki Ito (eds.), Multi-agent and Complex Systems, Chapter 10, Studies in Computational Intelligence,   607 139-152   2017年1月   [査読有り]
Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking
Alexander Andreychenko, Morgan Magnin, and Katsumi Inoue
BioSystems   149 50-58   2016年12月   [査読有り]
インクリメンタルSAT解法ライブラリとその応用
迫 龍哉,宋 剛秀,番原 睦則,田村 直之,鍋島 英知,井上 克巳
コンピュータソフトウェア   33(4) 16-29   2016年11月   [査読有り]
Meta-Level Abduction
Katsumi Inoue
IfCoLog Journal of Logics and their Applications   3(3) 7-35   2016年10月   [査読有り]
Learning from Interpretation Transition using Feed-Forward Neural Networks
Enguerrand Gentet, Sophie Tourret, and Katsumi Inoue
In: James Cussens and Alessandra Russo (eds.), Proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016; London, UK) (Short papers), CEUR Workshop Proceedings,   1865 27-33   2017年6月   [査読有り]
Inference of Delayed Biological Regulatory Networks from Time Series Data
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, and Katsumi Inoue
In: Ezio Bartocci, Pietro Liò, Nicola Paoletti (eds.), Computational Methods in Systems Biology: Proceedings of the 14th International Conference (CMSB 2016; Cambridge, UK), Lecture Notes in Bioinformatics,   9859 30-48   2016年9月   [査読有り]
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, and Pierre Marquis
In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York City, NY, USA),   1237-1243   2016年7月   [査読有り]
Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation
Tony Ribeiro, Damien Bouchabou, Tenda Okimoto, and Katsumi Inoue
In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York City, NY, USA),   454-460   2016年7月   [査読有り]

書籍等出版物

 
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月   

講演・口頭発表等

 
リカレントニューラルネットワークによる遅延を伴う解釈遷移からの論理プログラム表現学習
ポア インジュン,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日   
解集合プログラミングによるソフトウェアテストケースの生成
小俣 仁美,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋)   2017年5月23日   
多デバイス接触履歴からの視聴行動モデル化と知識更新
岡崎 孝太郎,井上 克巳
第1回計算社会科学ワークショップ   2017年2月26日   
Learning from Interpretation Transition: Algorithms, Extensions and Applications [招待有り]
Katsumi Inoue
Joint Franco-Japanese Seminar on Knowledge Representation and Reasoning   2016年12月8日   
Learning Delays in Biological Regulatory Networks from Time Series Data
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, and Katsumi Inoue
The Fifth International Workshop on Hybrid Systems Biology   2016年10月20日   

Misc

 
AIにおけるアブダクション
井上 克巳
人工知能学大事典   5-24 264-265   2017年7月   [依頼有り]
機械学習と知識発見
井上 克巳
電子情報通信学会「知識ベース」S3群3編3章   3-4   2017年   [依頼有り]
SATとAI
井上 克巳
情報処理   57(8) 720-723   2016年7月   [依頼有り]
SATソルバーの最近の進展
鍋島 英知, 岩沼 宏治, 井上 克巳
情報処理   57(8) 724-729   2016年7月   [依頼有り]
GlueMiniSat 2.2.10-81
Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
In: Tomáš Balyo, Marijn J. H. Heule and Matti Järvisalo (eds.), Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions (Bordeaux, France, July 5-8, 2016), Department of Computer Science Series of Publications   B-2016-1 43   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
受賞者: 鍋嶋英知
 

競争的資金等の研究課題

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

学歴

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

委員歴

 
2017年4月
 - 
現在
(一社)人工知能学会  代議員
 
2016年12月
 - 
現在
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
 
2017年5月
 - 
2017年10月
The 3rd Global Conference on Artificial Intelligence (GCAI 2017)  Member of Program Committee
 
2016年11月
 - 
2017年8月
The 26th International Joint Conference on Artificial Intelligence (IJCAI-17)  Member of Senior Program Committee
 
2016年10月
 - 
2017年7月
The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)  Member of Program Committee
 
2015年12月
 - 
2017年5月
The 26th International Conference on Inductive Logic Programming (ILP 2016)  Member of Program Committee
 
2014年9月
 - 
現在
The 25h International Conference on Inductive Logic Programming (ILP 2015)  Conference co-Chair
 
2010年10月
 - 
現在
NII 湘南会議  学術委員
 
2005年3月
 - 
現在
Theory and Practice of Logic Programming (Cambridge Journal)  Editorial Advisor