Tessa Nishida

According to our database, Tessa Nishida authored at least 2 papers in 2023.

Collaborative distances:

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

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

A New Approach to Probabilistic Knowledge-Based Decision Making.

Thomas C. Henderson, Tessa Nishida, Amelia C. Lessen, Nicola Wernecke, Kutay Eken, David Sacharny

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