9th CSLI Workshop on Logic, Rationality & Intelligent Interaction | Stanford HAI