Ishaan Rajan

According to our database, Ishaan Rajan authored at least 2 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

GEO-SAT: A new approach for knowledge-based agent decision making.

Thomas C. Henderson, Amelia C. Lessen, Ishaan Rajan, Tessa Nishida, Kutay Eken, Xiuyi Fan, David Sacharny, Amar Mitiche, Thatcher Geary

Robotics Auton. Syst., 2026

2023

Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases.

Thomas C. Henderson, David Sacharny, Amar Mitiche, Xiuyi Fan, Amelia C. Lessen, Ishaan Rajan, Tessa Nishida

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023