Katsumi Inoue
(井上 克巳)
Modified on: 01/27
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
- Collaborative Professor, Graduate School of Informatics and Engineering, The University of Electro-Communications
- 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
14-
Apr, 2024 - Present
-
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
377-
The 13th International Conference on Learning Representations (ICLR 2025; Singapore, April 24-28, 2025), to appear, Apr, 2025 Peer-reviewed
-
Fuzzy Sets and Systems, 504(109259) 30p., Mar 15, 2025 Peer-reviewed
-
Theory and Practice of Logic Programming, 24(5) 973-1010, Nov 13, 2024 Peer-reviewed
-
Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024), 765-777, Nov 7, 2024 Peer-reviewed
-
Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024), 134-144, Nov 7, 2024 Peer-reviewed
-
In: Nina Gierasimczuk, Jesse Heyninck (eds.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), CEUR Workshop Proceedings, 3835 14-23, Nov 2, 2024 Peer-reviewed
-
Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2024; Herndon, VA, USA, October 30 - November 1, 2024), 355-362, Oct 29, 2024 Peer-reviewed
-
Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-2024; Santiago de Compostela, Spain, October 19-24, 2024), Frontiers in Artificial Intelligence and Applications, 392 1301-1308, Oct 22, 2024 Peer-reviewed
-
In: Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift (eds.), Proceedings of the 40th International Conference on Logic Programming (ICLP 2024; University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024), Electronic Proceedings in Theoretical Computer Science, to appear 78-94, Oct 15, 2024 Peer-reviewed
-
In: Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez (eds), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 17th International Conference (LPNMR 2024; Dallas, TX, USA, October 11-14, 2024), Lecture Notes in Artificial Intelligence, 15245 57-70, Oct 14, 2024 Peer-reviewed
-
The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024; Nanjing University International Conference Center, Nanjing, China, September 20-22, 2024), Lecture Notes in Artificial Intelligence, to appear 19p., Sep 20, 2024 Peer-reviewed
-
In: Tarek R. Besold, Artur d'Avila Garcez, Ernesto Jiménez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, Benedikt Wagner (eds.), Neural-Symbolic Learning and Reasoning: Proceedings of the 18th International Conference, Part 1 (NeSy 2024; Barcelona, Spain, September 9-12, 2024), Lecture Notes in Artificial Intelligence, 14979 47-61, Sep 10, 2024 Peer-reviewed
-
IEEE Access, 12 109943-109956, Aug 7, 2024 Peer-reviewed
-
IEEE Access, 12 179265-179280, Jun 28, 2024 Peer-reviewed
-
Artificial Intelligence, 331(104108) 27p., Jun, 2024 Peer-reviewed
-
In: Proceedings of UniReps: the First Workshop on Unifying Representations in Neural Models (15 December 2023, Ernest N. Morial Convention Center, New Orleans, USA). Proceedings of Machine Learning Research, 243 133-143, May 14, 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
-
In: 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
Presentations
255-
The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025), Jan 25, 2025
-
The 7th Workshop on Trends and Applications of Answer Set Programming (TAASP 2024), Nov 25, 2024
-
The 40th International Conference on Logic Programming (ICLP 2024), Oct 15, 2024 Invited
-
Theory of Combinatorial Reconfiguration and Beyond, Oct 8, 2024
-
The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024), Sep 22, 2024 Invited
-
The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024), Sep 21, 2024 Invited
-
日本ソフトウェア科学会 第41回大会, Sep 12, 2024, 日本ソフトウェア科学会
-
日本ソフトウェア科学会 第41回大会, Sep 12, 2024, 日本ソフトウェア科学会
-
The 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Aug 7, 2024 Invited
-
The 8th International Workshop on Symbolic-Neural Learning (SNL 2024; Tokyo, Japan), Jun 27, 2024
-
The 38th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20224), International Session 2Q5-IS-1-04, May 29, 2024, Japanese Society for Artificial Intelligence
-
The 38th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20224), 2M1-OS-11a-03, May 29, 2024, Japanese Society for Artificial Intelligence
-
The 38th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20224), 1F3-GS-1-05, May 28, 2024, Japanese Society for Artificial Intelligence
-
The 17th International Symposium on Functional and Logic Programming (FLOPS 2024), May 15, 2024 Invited
-
Technical AI Safety Conference 2024 (TAIS 2024), Apr 5, 2024
-
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
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.
69-
CoRR, abs/2412.11867 22p., Dec 16, 2024
-
CoRR, abs/2410.11000 37p., Oct 14, 2024
-
CoRR, abs/2408.12591 11p., Aug 22, 2024
-
CoRR, abs/2408.10709 17p., Aug 20, 2024
-
CoRR, abs/2408.07287 14p., Aug, 2024
-
CoRR, abs/2403.07885 11p., May 18, 2024
-
In: Jeremy Gibbons, Dale Miller (eds.): Functional and Logic Programming: Proceedings of the 17th International Symposium (FLOPS 2024; Kumamoto, Japan, May 15-17, 2024), Lecture Notes in Computer Science, 14659 3-9, May 16, 2024 Invited
-
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
Awards
29Committee Memberships
157-
Oct, 2010 - Present
-
Sep, 2017 - Dec, 2022
-
Jul, 2022 - Aug, 2022
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
18-
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
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated