Akihiro Kishimoto

Akihiro Kishimoto

Publications

You can also find many of my articles on my Google Scholar profile and ResearchGate profile.

Journals

  1. Akihiro Kishimoto, Dan Wu, and Donal F. O’Shea. “Forecasting vaping health risks through neural network model prediction of flavour pyrolysis reactions”, Scientific Reports, Volume 14, Article Number 9591, 2024.

  2. Ronaldo Giro, Hsianghan Hsu, Akihiro Kishimoto, Toshiyuki Hama, Rodrigo F. Neumann, Binquan Luan, Seiji Takeda, Lisa Hamada and Mathias B. Steiner.
    “AI powered, automated discovery of polymer membranes for carbon capture”, npj Computational Materials, Volume 9, Article Number: 133, 2023.

  3. Matteo Manica, Jannis Born, Joris Cadow, Dimitrios Christofidellis, Ashish Dave, Dean Clarke, Yves Gaetan Nana Teukam, Giorgio Giannone, Samuel C. Hoffman, Matthew Buchan, Vijil Chenthamarakshan, Timothy Donovan, Hsiang Han Hsu, Federico Zipoli, Oliver Schilter, Akihiro Kishimoto, Lisa Hamada, Inkit Padhi, Karl Wehden, Lauren McHugh, Alexy Khrabrov, Payel Das, Seiji Takeda and John R. Smith. “Accelerating Material Design with the Generative Toolkit for Scientific Discovery”, npj Computational Materials, Volume 9, Issue 1, Article Number: 69, 2023.

  4. Adi Botea, Akihiro Kishimoto, Evdokia Nikolova, Stefano Braghin, Michele Berlingerio and Elizabeth Daly. “Computing Multi-Modal Journey Plans under Uncertainty”, Journal of Artificial Intelligence Research, Volume 65, pages 633-674, 2019.

  5. Bissan Ghaddar, Joe Naoum-Sawaya, Akihiro Kishimoto, Nicole Taheri and Bradley Eck. “A Lagrangian Decomposition Approach for the Pump Scheduling Problem in Water Networks”, European Journal of Operations Research, Volume 241, Number 2, pages 490-501, 2015.

  6. Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, and Yasuhiro Hayashi, “Distribution Loss Minimization with Guaranteed Error Bound”, IEEE Transactions on Smart Grid, Volume 5, Issue 1, pages 102-111, 2014.

  7. Kunihito Hoki, Tomoyuki Kaneko, Akihiro Kishimoto, and Takeshi Ito. “Parallel Dovetailing and Its Application to Depth-First Proof-Number Search”, ICGA Journal, Volume 36, Number 1, pages 22-36, 2013.

  8. Akihiro Kishimoto, Alex Fukunaga, and Adi Botea. “Evaluation of a Simple, Scalable, Parallel Best-First Search Strategy”, Artificial Intelligence, Volume 195, pages 222-248, 2013.

  9. Akihiro Kishimoto, Mark Winands, Martin Müller, and Jahn-Takeshi Saito. “Game-Tree Search Using Proof Numbers: The First Twenty Years”, ICGA Journal, Volume 35, Number 3, pages 131-156, 2012. Errata.

  10. Yusuke Soejima, Akihiro Kishimoto, and Osamu Watanabe. “Evaluating Root Parallelization in Go”, IEEE Transactions on Computational Intelligence and AI in Games, Volume 2, Issue 4, pages 278-287, 2010.

  11. Jonathan Schaeffer, Neil Burch, Yngvi Björnsson, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu, and Steve Sutphen. “Checkers Is Solved”, Science, Volume 317, Number 5844, pages 1518-1522, 2007.

  12. Shunsuke Soeda, Kazuki Yoshizoe, Akihiro Kishimoto, Tomoyuki Kaneko, Tetsuro Tanaka, and Martin Müller. “Lambda Search Based on Proof and Disproof Numbers” (証明数と反証数を用いたλ探索 in Japanese), Special Issue of IPSJ (Information Processing Society of Japan) Journal (情報処理学会論文誌 特集号), Volume 48, Number 11, pages 3455-3462, 2007.

  13. Akihiro Kishimoto and Martin Müller. “A Solution to the GHI Problem for Depth-First Proof-Number Search”, Information Sciences, Volume 175, Issue 4, pages 296-314, 2005.

Refereed International Conferences

  1. Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, and Radu Marinescu. “An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations”, In Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI’23), pages 3221-3229, 2023.

  2. Seiji Takeda, Akihiro Kishimoto, Lisa Hamada, Daiju Nakano and John R. Smith. “Foundation Model for Material Science”, In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI’23) (Senior Member Presentation Track), pages 15376-15383, 2023.

  3. Akihiro Kishimoto, Djallel Bouneffouf, Radu Marinescu, Parikshit Ram, Ambrish Rawat, Martin Wistuba, Paulito P. Palmes and Adi Botea. “Bandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization”, In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI’22), pages 10228-10237, 2022.

  4. Adi Botea, Massimiliano Mattetti, Akihiro Kishimoto, Radu Marinescu and Elizabeth Daly. “Counting Vertex-Disjoint Shortest Paths in Graphs”, In Proceedings of the 14th Annual Symposium on Combinatorial Search (SoCS’21), pages 28-36, 2021.

  5. Radu Marinescu, Akihiro Kishimoto, Parikshit Ram, Ambrish Rawat, Martin Wistuba, Paulito P. Palmes and Adi Botea. “Searching for Machine Learning Pipelines Using a Context-Free Grammar”, In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI’21), pages 8902-8911, 2021.

  6. Radu Marinescu, Akihiro Kishimoto and Adi Botea. “Parallel AND/OR Search for Marginal MAP”, In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI’20), pages 10226-10234, 2020.

  7. Akihiro Kishimoto, Beat Buesser, Bei Chen and Adi Botea. “Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning”, In Processing of the 33rd Conference on Neural Information Processing Systems (NeurIPS’19), pages 7224-7234, 2019.

  8. Akihiro Kishimoto, Adi Botea and Radu Marinescu. “Depth-First Memory-Limited AND/OR Search in Cyclic Search Spaces”, In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI’19), pages 1280-1288, 2019.

  9. Radu Marinescu, Akihiro Kishimoto, Adi Botea, Rina Dechter and Alexander Ihler. “Anytime Recursive Best-First Search for Bounding Marginal MAP”, In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI’19) pages 7924-7932, 2019.

  10. Adi Botea, Akihiro Kishimoto and Radu Marinescu. “On the Complexity of Quantum Circuit Compilation”, In Proceedings of the 11th Annual Symposium on Combinatorial Search (SoCS’18), pages 138-142, 2018.

  11. Akihiro Kishimoto, Beat Buesser and Adi Botea. “AI Meets Chemistry” (senior track blue sky talk), In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI’18), pages 7978-7982, 2018.

  12. John Savage, Akihiro Kishimoto, Beat Buesser, Ernesto Diaz-Aviles and Carlos Alzate. “Chemical Reactant Recommendation using a Network of Organic Chemistry”, In Proceedings of the 11th ACM Conference on Recommender Systems (RecSys’17), pages 210-214, 2017.

  13. Fan Xie, Adi Botea and Akihiro Kishimoto. “A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents”, In Proceedings of the 26th International Joint Conferences on Artificial Intelligence (IJCAI’17), pages 4470-4476, 2017.

  14. Masataro Asai, Akihiro Kishimoto, Adi Botea, Radu Marinescu, Elizabeth Daly and Spyros Kotoulas. “Efficient Optimal Search under Expensive Edge Cost Computation”, In Proceedings of the 26th International Joint Conferences on Artificial Intelligence (IJCAI’17), pages 4266-4272, 2017.

  15. Akihiro Kishimoto, Adi Botea and Elizabeth Daly. “Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty”, In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI’16), pages 295-393, 2016.

  16. Spyros Kotoulas, Elizabeth Daly, Pierpaolo Tommasi, Akihiro Kishimoto, Vanessa Lopez, Martin Stephenson, Adi Botea, Marco Sbodio, Radu Marinescu, and Ronan Rooney. “Service Bundle Recommendation for Person-centered Care Planning in Cities”, In Proceedings of the Health-Exploring Complexity: An Interdisciplinary Systems Approach (HEC), pages 33-37, 2016. The conference was formerly known as MIE (Medical Informatics Europe).

  17. Akihiro Kishimoto and Kiyohito Nagano. “Evaluation of Auction-Based Multi-Robot Routing by Parallel Simulation”, In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS’16), pages 495-503, 2016.

  18. Akihiro Kishimoto, Radu Marinescu and Adi Botea. “Parallel Recursive Best-First AND/OR Search for Exact MAP Inference in Graphical Models”, In Proceedings of the 29th Annual Conference on Neural Information Processing Systems (NeurIPS’15), pages 928-936, 2015.

  19. Hiroshi Kajino, Akihiro Kishimoto, Adi Botea, Elizabeth Daly and Spyros Kotoulas: “Active Learning for Multi-relational Data Construction”, In Proceedings of the 24th World Wide Web Conference (WWW’15), pages 560-569, 2015.

  20. Elizabeth M. Daly, Adi Botea, Akihiro Kishimoto and Radu Marinescu. “Multi-Criteria Journey Aware Housing Recommender System”, In Proceedings of the 8th ACM Conference on Recommender Systems (RecSys’14), pages 325-328, 2014.

  21. Akihiro Kishimoto and Radu Marinescu. “Recursive Best-First AND/OR Search for Optimization in Graphical Models”, In Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence (UAI’14), pages 400-409, 2014.

  22. Bradley Eck, Sean McKenna, Albert Akhriev, Akihiro Kishimoto, Paulito Palmes and Nicole Taheri. “Pump Scheduling for Uncertain Electricity Prices”, In Proceedings of the World Environmental and Water Resources Congress, pages 426-434, 2014.

  23. Yasuo Tabei, Akihiro Kishimoto, Masaaki Kotera, and Yoshihiro Yamanishi. “Succinct Interval-Splitting Tree for Scalable Similarity Search of Compound-Protein Pairs with Property Constraints”, In Proceedings of the 19th ACM SIGMOD Conference on Knowledge, Discovery, and Data Mining (KDD’13), pages 176-184, 2013.

  24. Alex Fukunaga, Akihiro Kishimoto and Adi Botea. “Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters”, In Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI’12), pages 478-485, 2012.

  25. Junichi Hashimoto, Akihiro Kishimoto, Kazuki Yoshizoe and Kokolo Ikeda. “Accelerated UCT and Its Application to Two-Player Games”, In Proceedings of the 13th Advances in Computer Games, Lecture Notes in Computer Science, Volume 7168, pages 1-12, Springer, 2012.

  26. Tatsuya Imai and Akihiro Kishimoto. “A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning”, In Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI’11), pages 985-991, 2011.

  27. Yoshikazu Kobayashi, Akihiro Kishimoto and Osamu Watanabe. “Evaluations of Hash Distributed A* in Optimal Sequence Alignment”, In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11), pages 584-590, 2011.

  28. Kazuki Yoshizoe, Akihiro Kishimoto, Tomoyuki Kaneko, Haruhiro Yoshimoto and Yutaka Ishikawa. “Scalable Distributed Monte-Carlo Tree Search”, In Proceedings of the 4th Symposium on Combinatorial Search (SoCS’11), pages 180-187, 2011.

  29. Yuima Akagi, Akihiro Kishimoto and Alex Fukunaga. “On Transposition Tables for Single-Agent Search and Planning: Summary of Results”, In Proceedings of the 3rd Symposium on Combinatorial Search (SoCS’10), pages 2-9, 2010.

  30. Akihiro Kishimoto. “Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search”, In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI’10), pages 108-113, 2010.

  31. Richard Valenzano, Jonathan Schaeffer, Nathan Sturtevant, Karen Buro, and Akihiro Kishimoto. “Simultaneously Searching with Multiple Settings: An Alternative to Parameter Tuning for Suboptimal Single-Agent Search Algorithms”, In Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS’10), pages 177-184, 2010.

  32. Akihiro Kishimoto, Alex Fukunaga, and Adi Botea. “Scalable, Parallel Best-First Search for Optimal Sequential Planning”, In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS’09), pages 201-208, 2009.

  33. Akihiro Kishimoto and Martin Müller. “About the Completeness of Depth-First Proof-Number Search”, In Proceedings of the 6th International Conference on Computers and Games (CG’08), Lecture Notes in Computer Science, Volume 5131, pages 146-156, Springer, 2008.

  34. Akihiro Kishimoto and Nathan Sturtevant. “Optimized Algorithms for Multi-Agent Routing”, In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent System (AAMAS’08), pages 1585-1588, 2008.

  35. Kazuki Yoshizoe, Akihiro Kishimoto and Martin Müller. “Lambda Depth-first Proof Number Search and its Application to Go”, In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI’07), pages 2404-2409, 2007.

  36. Xiaozhen Niu, Akihiro Kishimoto, and Martin Müller. “Recognizing Seki in Computer Go”, In Proceedings of the 11th Advances in Computer Games, Lecture Notes in Computer Science, Volume 4250, pages 88-103, Springer, 2006.

  37. Haruhiro Yoshimoto, Kazuki Yoshizoe, Tomoyuki Kaneko, Akihiro Kishimoto and Kenjiro Taura. “Monte Carlo Go Has a Way to Go”, In Proceedings of the 21st AAAI Conference on Artificial Intelligence (AAAI’06) pages 1070-1075, 2006.

  38. Akihiro Kishimoto and Martin Müller. “Search versus Knowledge for Solving Life and Death Problems in Go”, In Proceedings of the 20th AAAI National Conference on Artificial Intelligence (AAAI’05), pages 1374-1379, 2005.

  39. Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu, and Steve Sutphen. “Solving Checkers”, In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI’05), pages 292-297, 2005.

  40. Akihiro Kishimoto and Martin Müller. “Dynamic Decomposition Search: A Divide and Conquer Approach and its Application to the One-Eye Problem in Go”, In Proceedings of the IEEE Symposium on Computational Intelligence and Games (CIG’05), pages 164-170, 2005.

  41. Akihiro Kishimoto and Martin Müller. “A General Solution to the Graph History Interaction Problem”, In Proceedings of the 19th AAAI Conference on Artificial Intelligence (AAAI’04), pages 644-649, AAAI Press, July, 2004.

  42. Akihiro Kishimoto and Martin Müller. “Df-pn in Go: An Application to the One-Eye Problem”, In Advances in Computer Games. Many Games, Many Challenges, pages 125-141, Kluwer Academic Publishers, November, 2003.

  43. Akihiro Kishimoto and Jonathan Schaeffer. “Distributed Game-Tree Search Using Transposition Table Driven Work Scheduling”, In Proceedings of the 31st International Conference on Parallel Processing (ICPP), pages 323-330, IEEE Computer Society Press, 2002.

Workshops/Domestic Conferences (Recent Work Only)

  1. Victor Yukio Shirasuna, Eduardo Soares, Emilio Vital Brazil, Karen Fiorella Aquino Gutierrez, Renato Cerqueira, Seiji Takeda, and Akihiro Kishimoto. “A multi-view mixture-of-experts based on language and graphs for molecular properties prediction”, ICML 2024 AI for Science Workshop, 2024.

  2. Indra Priyadarsini, Vidushi Sharma Seiji Takeda, Akihiro Kishimoto, Lisa Hamada, Hajime Shinohara. “Improving Performance Prediction of Electrolyte Formulations with Transformer-based Molecular Representation Model”, ICML 2024 ML4LMS Workshop, 2024.

  3. Eduardo Soares, Akihiro Kishimoto, Victor Shirasuna, Hiroshi Kajino, Emilio Vital Brazil, Seiji Takeda, and Renato Cerqueira. “A Multi-View approach based on Graphs and Chemical Language Foundation Model for Molecular Properties Prediction”, 3rd Annual AAAI Workshop on AI to Accelerate Science and Engineering (AI2ASE), 2024.

  4. Akihiro Kishimoto, Hiroshi Kajino, Hirose Masataka, Junta Fuchiwaki, Indra Priyadarsini, Lisa Hamada, Hajime Shinohara, Daiju Nakano and Seiji Takeda. “MHG-GNN: Combination of Molecular Hypergraph Grammar with Graph Neural Network”, NeurIPS 2023 AI Accelerated Materials Design Workshop, 2023.

  5. Seiji Takeda, Indra Priyadarsini, Akihiro Kishimoto, Hajime Shinohara, Lisa Hamada, Hirose Masataka, Junta Fuchiwaki and Daiju Nakano. “Multi-modal Foundation Model for Material Design”, NeurIPS 2023 AI for Accelerated Materials Design Workshop, 2023.

  6. Ryokan Ri, Yufang Hou, Radu Marinescu and Akihiro Kishimoto. “Finding Sub-task Structure with Natural Language Instruction”, The First ACL Workshop on Learning with Natural Language Supervision (LNLS’22), 2022.

  7. Massimiliano Mattetti, Akihiro Kishimoto, Adi Botea, Elizabeth M. Daly, Inge Vejsbjerg, Bei Chen and Oznur Alkan. “Client Network: An Interactive Model for Predicting New Clients”, The ECML-PKDD 2019 Workshop on Graph Embedding and Mining (GEM), 2019.

  8. Adi Botea, Christian Muise, Shubham Agarwal, Oznur Alkan, Ondrej Bajgar, Elizabeth Daly, Akihiro Kishimoto, Luis Lastras, Radu Marinescu, Josef Ondrej, Pablo Pedemonte and Miroslav Vodolan, “Generating Dialogue Agents via Automated Planning”, 2nd AAAI Workshop on Reasoning and Learning for Human-Machine Dialogue (DEEP-DIAL), 2019.

Tutorials

  1. Akihiro Kishimoto and Martin Müller. “From Deep Blue to Monte Carlo: an Update on Game Tree Research”, 28th AAAI Conference on Artificial Intelligence (AAAI’14), 2014.

Books

  1. Yoshiyuki Kotani, Akihiro Kishimoto, Kazutomo Shibahara, and Tsuyoshi Suzuki. “Game Computation Mechanism” (ゲーム計算メカニズム in Japanese)”. Corona Publishing Co. Ltd. (コロナ社), 2009.

Book Chapters

  1. Alex Fukunaga, Adi Botea, Yuu Jinnai and Akihiro Kishimoto. “Parallel A* for State-Space Search”, Handbook of Parallel Constraint Reasoning, pages 419-455, Springer, 2018.

  2. Akihiro Kishimoto. “Checkers” (チェッカー in Japanese), Encyclopedia for Artificial Intelligence (AI事典), Kyoritsu Shuppan Press (共立出版), 2017.

  3. Akihiro Kishimoto and Martin Müller. “Game Solvers”, Handbook of Digital Games and Entertainment Technologies, Springer, pages 3-22, 2016.

  4. Akihiro Kishimoto. “Solving Difficult Tsume-Shogi Problems by Using Computers” (難問詰将棋をコンピュータで解く in Japanese), Advances in Computer Shogi 6 (コンピュータ将棋の進歩6 - プロ棋士に並ぶ), pages 105-124, Kyoritsu Shuppan Press (共立出版), 2012.

Invited Articles

  1. Jonathan Schaeffer, Martin Müller and Akihiro Kishimoto. “Go bot, Go - AIs Have Mastered Chess. Will Go Be Next?”, IEEE Spectrum, Volume 51, Number 7, 48-53, 2014.

  2. Akihiro Kishimoto. “Other Two-Player Games” (その他の二人ゲーム in Japanese), IPSJ Magazine (情報処理学会会誌), Volume 53, Number 2, pages 139-145, 2012.

  3. Akihiro Kishimoto. “Search Algorithms to Solve Tsume-Shogi Problem” (詰将棋を解くための探索技術について in Japanese), The Japanese Society for Artificial Intelligence (JSAI) Magazine (人工知能学会会誌), Volume 24, Number 4, pages 392-398, 2011.

  4. Akihiro Kishimoto. “Episode on Solving Checkers” (チェッカー解明秘話 in Japanese), IPSJ Magazine (情報処理学会会誌), Volume 48, Number 11, pages 1257-1263, 2007.

  5. Akihiro Kishimoto. “Complete Information Games and AND/OR Tree Search” (完全情報ゲームとAND/OR木探索 in Japanese), Operations Research Society of Japan (ORSJ) Magazine (日本オペレーションズ・リサーチ学会機関誌), Volume 52(1), pages 22-26, 2007.

  1. Akihiro Kishimoto. “Experience at IBM Research, Ireland” (IBMアイルランド研究所での経験について in Japanese), The Japanese Society for Artificial Intelligence Magazine (人工知能学会会誌), Volume 37, Number 5, pages 672-674, 2022.

  2. Cameron Browne, Akihiro Kishimoto and Jonathan Schaeffer. “CG 2022 Conference Report”, ICGA Journal, Volume 44, Number 4, pages 167-169, 2022.

  3. Cameron Browne, Akihiro Kishimoto and Jonathan Schaeffer. “ACG 2021 Conference Report”, ICGA Journal, Volume 44, Number 1, pages 39-42, 2021.

  4. Adi Botea, Akihiro Kishimoto, Radu Marinescu and Elizabeth Daly. “When AI Plans Ahead”, The Gradient, 2019.

Theses

  1. “Correct and Efficient Search Algorithms in the Presence of Repetitions”, Ph.D. Thesis, Department of Computing Science, University of Alberta, March, 2005.

  2. “Transposition Table Driven Scheduling for Two-Player Games”, M.Sc. Thesis, Department of Computing Science, University of Alberta, January, 2002.

  3. “A Semi-Automatic Barbed Bisimulation Checker”, B.Sc. Thesis, Department of Information Science, University of Tokyo, March, 1997.