井上 克巳
イノウエ カツミ (Katsumi Inoue)
更新日: 03/23
基本情報
- 学位
-
博士(工学)(1993年1月 京都大学)
- 研究者番号
- 10252321
- ORCID ID
- https://orcid.org/0000-0002-2717-9122
- J-GLOBAL ID
- 200901024982789570
- researchmap会員ID
- 1000165292
- 外部リンク
人工知能に関する基礎研究に従事しています.専門は知識表現・推論,機械学習,論理プログラミングです.認識〜理解・思考に至るプロセスの解明,レジリエントなAI,ダイナミクス発見等に関する研究を進めています.
研究キーワード
15経歴
12-
2023年4月 - 現在
-
2021年4月 - 現在
-
2020年3月 - 現在
-
2004年3月 - 現在
-
2005年4月 - 2023年3月
-
2016年4月 - 2021年3月
-
2015年4月 - 2016年3月
-
2008年4月 - 2012年3月
-
1997年4月 - 2004年3月
-
1993年4月 - 1997年3月
-
1986年10月 - 1993年3月
-
1984年4月 - 1993年3月
学歴
3-
- 1993年1月
-
1982年4月 - 1984年3月
-
1978年4月 - 1982年3月
論文
363-
Artificial Intelligence 331(104108) 27p. 2024年6月 査読有り
-
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 13779 117-126 2024年3月 査読有り
-
WALCOM: Algorithms and Computation, Proceedings of the 17th International Conference and Workshops (WALCOM 2024; Kanazawa, Japan, March 18-20, 2024), Lecture Notes in Computer Science 14549 242-256 2024年2月29日 査読有り
-
In: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24; Vancouver, Canada, February 20-27, 2024) to appear 2024年2月 査読有り
-
In: Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese (eds.), Inductive Logic Programming: Proceeding of the 32nd International Conference (ILP 2023; Bari, Italy, November 13-15, 2023), Lecture Notes in Artificial Intelligence 14363 77-92 2023年12月22日 査読有り
-
In: Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese (eds.), Inductive Logic Programming: Proceeding of the 32nd International Conference (ILP 2023; Bari, Italy, November 13-15, 2023), Lecture Notes in Artificial Intelligence 14363 46-61 2023年12月22日 査読有り
-
NeurIPS 2023 Workshop on Unifying Representations in Neural Models (UniReps; New Orleans, USA) 15p. 2023年12月15日 査読有り
-
In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023; Dresden, Germany, September 20-22, 2023), Lecture Notes in Artificial Intelligence 14281 278-286 2023年9月 査読有り
-
In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023; Dresden, Germany, September 20-22, 2023), Lecture Notes in Artificial Intelligence 14281 262-277 2023年9月 査読有り
-
Frontiers in Genetics 14(1250545) 12p. + Supp 15p. 2023年8月31日 査読有り
-
Machine Learning 112(8) 2821-2843 2023年8月 査読有り
-
In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23; Washington, D.C., USA, February 7-14, 2023) 37(5) 6516-6524 2023年6月26日 査読有り
-
Human-Centric Intelligent Systems 3(3) 296-311 2023年6月20日 査読有り招待有り
-
Autonomous Agents and Multi-Agent Systems 37(2) Article 22 (45p.) 2023年4月25日 査読有り
-
In: AAAI Spring Symposium on Computational Approaches to Scientific Discovery 2p. 2023年3月28日 査読有り
-
In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2023; Lisbon, Portugal, 22-24, February 2023) 2 405-415 2023年2月 査読有り
-
In: Hanus, M., Inclezan, D. (eds), Practical Aspects of Declarative Languages: Proceedings of the 25th International Symposium (PADL 2023; Boston, MA, USA, January 16–17, 2023), Lecture Notes in Computer Science 13880 197-215 2023年1月 査読有り
-
In: Aydoğan, R., Criado, N., Lang, J., Sanchez-Anguix, V., Serramia, M. (eds), Principles and Practice of Multi-Agent Systems, Proceedings of the 24th International Conference (PRIMA 2022; Valencia, Spain, November 16-18, 2022), Lecture Notes in Artificial Intelligence 13753 243-259 2023年1月 査読有り
-
In: Qing Liu, Wenli Yang, Shiqing Wu (eds.), Proceedings of Principle and practice of data and Knowledge Acquisition Workshop 2022 (PKAW 2022), CoRR abs/2212.03374 14p. 2022年12月 査読有り
-
Machine Learning 111(10) 3593-3670 2022年10月 査読有り
講演・口頭発表等
241-
The 17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024年5月15日 招待有り
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月5日 日本ソフトウェア科学会 プログラミング論研究会
-
The 32nd International Conference on Inductive Logic Programming (ILP 2023) / The 3rd International Joint Conference on Learning & Reasoning (IJCLR 2023) 2023年11月13日 招待有り
-
The 21st International Conference on Computational Methods in Systems Biology (CMSB 2023; Luxembourg, September 13-15, 2023) 2023年9月15日
-
第125回人工知能基本問題研究会, 人工知能学会研究会資料, SIG-FPAI-125-01, pp.1-2 2023年8月29日 人工知能学会 招待有り
-
第125回人工知能基本問題研究会, 人工知能学会研究会資料, SIG-FPAI-125-02, pp.3-8 2023年8月29日 人工知能学会
-
第125回人工知能基本問題研究会, 人工知能学会研究会資料, SIG-FPAI-125-03, pp.9-14 2023年8月29日 人工知能学会
-
第17回PICMET Japan Vision Meeting: 企業の独創性と生成AI 2023年7月15日 招待有り
-
AIロボット駆動科学シンポジウム 2023 2023年7月6日 招待有り
-
The 7th International Workshop on Symbolic-Neural Learning (SNL 2023; Tokyo, Japan) 2023年6月29日
-
Causation in Kyoto: A Workshop on the Philosophy, Psychology, and Computer Science of Causation 2023年6月25日 Center for Applied Philosophy & Ethics, Graduate School of Letters, Kyoto University
-
2023年度人工知能学会全国大会(第37回)1G3-GS-1-01 2023年6月6日 人工知能学会
-
JST CREST「信頼されるAIシステム」領域セミナー 2023年4月11日 招待有り
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
-
International Workshop on AI Compliance Mechanism (WAICOM 2022) 2022年12月14日
-
The 6th International Workshop on Symbolic-Neural Learning (SNL 2022; Nagoya, Japan) 2022年7月9日
-
2022年度人工知能学会全国大会(第36回),4F3-OS-8b-03 2022年6月17日
-
第11回日本医療情報学会・医用人工知能研究会&人工知能学会・医用人工知能研究会(SIG-AIMED) 合同研究会 SIG-AIMED-011-09 2021年11月27日
-
The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021) 2021年10月25日 招待有り
-
The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021) 2021年10月25日 招待有り
書籍等出版物
17-
ISTE, Wiley 2023年7月 (ISBN: 9781789450293) 査読有り
-
Springer 2016年8月 (ISBN: 9783319398105)
-
CEUR Workshop Proceedings, Vol. 1636 2016年7月
-
近代科学社 2016年4月 (ISBN: 9784764905085)
-
Imperial College Press 2014年10月
-
Wiley 2014年8月
-
Wiley (ISTE), London, UK 2014年8月 (ISBN: 9781119005223)
-
University of Bristol, Bristol, UK 2012年9月
-
NII Shonan Meeting Report, No.2011-7 2011年11月
-
Wiley Book Series on Bioinformatic 2010年2月 査読有り
-
AAMAS-06 Workshop WS-10 2006年5月
MISC
61-
CoRR abs/2403.07885 4p. 2024年1月31日
-
CoRR abs/2312.02566 15p. 2023年12月5日
-
In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2023-1 41 2023年8月
-
CoRR abs/2307.10688 15p. 2023年7月20日
-
CoRR abs/2306.06821 29p. 2023年6月13日
-
In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2022-1 43 2022年8月
-
In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2022-1 74-77 2022年8月
-
CoRR abs/2205.02919 19p. 2022年5月5日
-
CoRR abs/2204.13570 14p. 2022年4月28日
-
In: Tomáš Balyo, Nils Froleyks, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2020-1 58 2020年8月
-
人工知能学会誌 34(5) 703-713 2019年9月 招待有り
-
bioRxiv 510495 2019年1月
-
CoRR abs/1805.00068 2018年4月
-
In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports 7(9) 2018年3月 招待有り
-
Machine Learning 106(12) 1863-1865 2017年12月 招待有り
-
第29回RAMPシンポジウム論文集 73-88 2017年10月 招待有り
-
人工知能学大事典 5-24 264-265 2017年7月 招待有り
-
電子情報通信学会「知識ベース」S3群3編3章 3-4 2017年 招待有り
-
情報処理 57(8) 724-729 2016年7月 招待有り
受賞
27委員歴
156-
2010年10月 - 現在
-
2017年9月 - 2022年12月
-
2022年7月 - 2022年8月
-
2017年4月 - 2021年3月
所属学協会
5-
2011年 - 現在
-
1988年 - 現在
-
1986年 - 現在
-
1997年 - 2004年
共同研究・競争的資金等の研究課題
47-
科学技術振興機構 CREST「信頼されるAIシステムを支える基盤技術」領域 2022年10月 - 2028年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2021年4月 - 2025年3月
-
大学共同利用機関法人 情報・システム研究機構 戦略的研究プロジェクト 2022年6月 - 2025年3月
-
(株)デンソー 2022年10月 - 2024年3月
-
大学共同利用機関法人 情報・システム研究機構 COVID-19 対策研究プロジェクト 2021年6月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2018年4月 - 2022年3月
-
(株)ビデオリサーチ 受託研究 2014年10月 - 2022年3月
-
大学共同利用機関法人 情報・システム研究機構 COVID-19 対応研究プロジェクト 2020年6月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2017年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2017年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2014年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2014年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2014年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2012年4月 - 2015年3月
-
新領域融合研究センター 第1回融合研究シーズ探索 2013年4月 - 2014年3月
-
新領域融合研究センター 第2回融合研究シーズ探索 2011年4月 - 2012年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年4月 - 2012年3月
担当経験のある科目(授業)
17-
2006年4月 - 現在
-
2006年4月 - 2022年9月
-
2016年6月 - 2020年12月
-
2002年10月 - 2004年2月
-
1998年4月 - 2003年9月
-
1997年4月 - 2003年9月
-
1982年4月 - 1984年3月