Akihiro Kishimoto

4 papers in the IJCAI proceedings

IJCAI 2023

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

with Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

doi:10.24963/ijcai.2023/359

Details PDF

IJCAI 2019

Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces

with Adi Botea, Radu Marinescu

doi:10.24963/ijcai.2019/178

Details PDF

IJCAI 2017

A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents

with Fan Xie, Adi Botea

doi:10.24963/ijcai.2017/624

Details PDF

Efficient Optimal Search under Expensive Edge Cost Computation

with Masataro Asai, Adi Botea, Radu Marinescu, Elizabeth M. Daly, Spyros Kotoulas

doi:10.24963/ijcai.2017/596

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings