Katsumi Inoue
(井上 克巳)
Modified on: 04/01
Profile Information
- Affiliation
- Professor, Principles of Informatics Research Division, National Institute of Informatics
- Professor, Informatics Program, Graduate Institute for Advanced Studies, The Graduate University for Advanced Studies
- Visiting Professor, School of Computing, Tokyo Institute of Technology
- Degree
-
Doctor of Engineering(Jan, 1993, Kyoto University)
- Researcher number
- 10252321
- ORCID ID
- https://orcid.org/0000-0002-2717-9122
- J-GLOBAL ID
- 200901024982789570
- researchmap Member ID
- 1000165292
- External link
I am a Professor at the Principles of Informatics Research Division, National Institute of Informatics (NII) in Japan. I hold a PhD in Engineering (Applied Mathematics and Physics) from Kyoto University (1993) for my studies on abductive and nonmonotonic reasoning. I am an expert of Artificial Intelligence, Logic Programming, and Computer Science in general.
Research Areas
4Research Interests
15Research History
12-
Apr, 2021 - Present
-
Mar, 2020 - Present
-
Mar, 2004 - Present
-
Apr, 2016 - Mar, 2021
-
Apr, 1997 - Mar, 2004
-
Apr, 1993 - Mar, 1997
-
Oct, 1986 - Mar, 1993
-
Apr, 1984 - Mar, 1993
Education
3-
Apr, 1978 - Mar, 1982
Papers
363-
Artificial Intelligence, 331(104108) 27p., Jun, 2024 Peer-reviewed
-
In: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24; Vancouver, Canada, February 20-27, 2024), 38(9) 10696-10704, Mar 24, 2024 Peer-reviewed
-
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, Mar 20, 2024 Peer-reviewed
-
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, Feb 29, 2024 Peer-reviewed
-
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, Dec 22, 2023 Peer-reviewed
-
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, Dec 22, 2023 Peer-reviewed
-
NeurIPS 2023 Workshop on Unifying Representations in Neural Models (UniReps; New Orleans, USA), 15p., Dec 15, 2023 Peer-reviewed
-
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, Sep, 2023 Peer-reviewed
-
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, Sep, 2023 Peer-reviewed
-
Frontiers in Genetics, 14(1250545) 12p. + Supp 15p., Aug 31, 2023 Peer-reviewed
-
Machine Learning, 112(8) 2821-2843, Aug, 2023 Peer-reviewed
-
In: Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI-23; Washington, D.C., USA, February 7-14, 2023), 37(5) 6516-6524, Jun 26, 2023 Peer-reviewed
-
Human-Centric Intelligent Systems, 3(3) 296-311, Jun 20, 2023 Peer-reviewedInvited
-
Autonomous Agents and Multi-Agent Systems, 37(2) Article 22 (45p.), Apr 25, 2023 Peer-reviewed
-
In: AAAI Spring Symposium on Computational Approaches to Scientific Discovery, 2p., Mar 28, 2023 Peer-reviewed
-
In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2023; Lisbon, Portugal, 22-24, February 2023), 2 405-415, Feb, 2023 Peer-reviewed
-
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, Jan, 2023 Peer-reviewed
-
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, Jan, 2023 Peer-reviewed
-
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., Dec, 2022 Peer-reviewed
-
Machine Learning, 111(10) 3593-3670, Oct, 2022 Peer-reviewed
Presentations
241-
The 17th International Symposium on Functional and Logic Programming (FLOPS 2024), May 15, 2024 Invited
-
The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024), Mar 5, 2024, JSSST Special Interest Group on Programming and Programming Languages
-
The 32nd International Conference on Inductive Logic Programming (ILP 2023) / The 3rd International Joint Conference on Learning & Reasoning (IJCLR 2023), Nov 13, 2023 Invited
-
The 21st International Conference on Computational Methods in Systems Biology (CMSB 2023; Luxembourg, September 13-15, 2023), Sep 15, 2023
-
SIG-FPAI-125-01, pp.1-2, The Japanese Society for Artificial Intelligence, Aug 29, 2023 Invited
-
SIG-FPAI-125-02, pp.3-8, The Japanese Society for Artificial Intelligence, Aug 29, 2023
-
SIG-FPAI-125-03, pp.9-14, The Japanese Society for Artificial Intelligence, Aug 29, 2023
-
The 17th PICMET Japan Vision Meeting: How can generative AI enhance a company’s creativity?, Jul 15, 2023 Invited
-
AI Robot Science Symposium 2023, Jul 6, 2023 Invited
-
The 7th International Workshop on Symbolic-Neural Learning (SNL 2023; Tokyo, Japan), Jun 29, 2023
-
Causation in Kyoto: A Workshop on the Philosophy, Psychology, and Computer Science of Causation, Jun 25, 2023, Center for Applied Philosophy & Ethics, Graduate School of Letters, Kyoto University
-
The 37th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20223), 1G3-GS-1-01, Jun 6, 2023, Japanese Society for Artificial Intelligence
-
JST CREST "Core technologies for trusted quality AI systems" Area Seminar, Apr 11, 2023 Invited
-
The 25th JSSST Workshop on Programming and Programming Languages (PPL 2023), Mar 6, 2023, JSSST Special Interest Group on Programming and Programming Languages
-
International Workshop on AI Compliance Mechanism (WAICOM 2022), Dec 14, 2022
-
The 6th International Workshop on Symbolic-Neural Learning (SNL 2022; Nagoya, Japan), Jul 9, 2022
-
The 36th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2022), 4F3-OS-8b-03, Jun 17, 2022
-
Artificial Intelligence in Medicine, Japan Association for Medical Informatics (JAMI) & The Japanese Society for Artificial Intelligence (JSAI), SIG-AIMED-011-09, Nov 27, 2021
-
The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021), Oct 25, 2021 Invited
-
The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021), Oct 25, 2021 Invited
Books and Other Publications
17-
ISTE, Wiley, Jul, 2023 (ISBN: 9781789450293) Peer-reviewed
-
Springer, Feb, 2023 Peer-reviewed
-
Springer, Aug, 2016 (ISBN: 9783319398105)
-
CEUR Workshop Proceedings, Vol. 1636, Jul, 2016
-
Kindai Kagakusha, Apr, 2016 (ISBN: 9784764905085)
-
Imperial College Press, Oct, 2014
-
Wiley, Aug, 2014
-
Wiley (ISTE), London, UK, Aug, 2014 (ISBN: 9781119005223)
-
CoRR arXiv:1311.4639, Sep, 2013
-
NII Shonan Meeting Report, No.2011-7, Nov, 2011
-
Wiley Book Series on Bioinformatic, Feb, 2010 Peer-reviewed
-
AAMAS-06 Workshop WS-10, May, 2006
Misc.
61-
CoRR, abs/2403.07885 4p., Jan 31, 2024
-
CoRR, abs/2312.02566 15p., Dec 5, 2023
-
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, Aug, 2023
-
CoRR, abs/2307.10688 15p., Jul 20, 2023
-
CoRR, abs/2306.06821 29p., Jun 13, 2023
-
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, Aug, 2022
-
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, Aug, 2022
-
CoRR abs/2205.02919, 19p., May 5, 2022
-
CoRR abs/2204.13570, 14p., Apr 28, 2022
-
Research Square, 17p., Feb 11, 2022
-
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, Aug, 2020
-
Journal of the Japanese Society for Artificial Intelligence, 34(5) 703-713, Sep, 2019 Invited
-
bioRxiv, 510495, Jan, 2019
-
CoRR, abs/1805.00068, Apr, 2018
-
In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports, 7(9), Mar, 2018 Invited
-
Machine Learning, 106(12) 1863-1865, Dec, 2017 Invited
-
Proceedings of the Twenty-Ninth RAMP Symposium, 73-88, Oct, 2017 Invited
-
Encyclopedia of Artificial Intelligence, 5-24 264-265, Jul, 2017 Invited
-
Knowledge Base, The Institute of Electronics, Information and Communication Engineers, S3-3-3, 3-4, 2017 Invited
-
IPSJ Magazine, 57(8) 724-729, Jul, 2016 Invited
Awards
27Committee Memberships
156-
Oct, 2010 - Present
-
Sep, 2017 - Dec, 2022
-
Jul, 2022 - Aug, 2022
-
Apr, 2017 - Mar, 2021
Professional Memberships
5-
2011 - Present
-
1995 - Present
-
1988 - Present
-
1986 - Present
Research Projects
47-
CREST "Core technologies for trusted quality AI systems" Area, Japan Science and Technology Agency, Oct, 2022 - Mar, 2028
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2025
-
Strategic Research Project, Inter-University Research Institute Corporation, Research Organization of Information and Systems (ROIS), Jun, 2022 - Mar, 2025
-
Denso Corporation, Oct, 2022 - Mar, 2024
-
COVID-19 Research Project, Inter-University Research Institute Corporation, Research Organization of Information and Systems (ROIS), Jun, 2021 - Mar, 2022
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2018 - Mar, 2022
-
Commissioned Research, Video Research Ltd., Oct, 2014 - Mar, 2022
-
COVID-19 Research Project, Research Organization of Information and Systems, Jun, 2020 - Mar, 2021
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2021
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2021
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2016 - Mar, 2019
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2018
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2017
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2017
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Challenging Exploratory Research, Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2016
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2015
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2015
-
Transdisciplinary Seeds Research, Transdisciplinary Research Integration Center, Apr, 2013 - Mar, 2014
-
Transdisciplinary Seeds Research, Transdisciplinary Research Integration Center, Apr, 2011 - Mar, 2012
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2008 - Mar, 2012
Teaching Experience
17-
Jun, 2016 - Dec, 2020
-
Oct, 2015 - Mar, 2016
-
Apr, 2001 - Sep, 2004
-
Oct, 2002 - Feb, 2004
-
Apr, 2003 - Sep, 2003
-
Apr, 1998 - Sep, 2003
-
Apr, 1997 - Sep, 2003
-
Apr, 1998 - Jul, 2002
-
Oct, 1997 - Feb, 2001
-
Apr, 1997 - Sep, 2000
-
Dec, 1993 - Feb, 1997
-
Sep, 1993 - Dec, 1996
-
Apr, 1994 - Jul, 1996
-
Apr, 1994 - Jul, 1996
-
Apr, 1982 - Mar, 1984