The Two-Variable Situation Calculus. - Yilan Gu; Mikhail Soutchanski (STAIRS, 2006)

Decidable Reasoning in a Modified Situation Calculus. - Yilan Gu; Mikhail Soutchanski (IJCAI, 2007)

Reasoning about Large Taxonomies of Actions. - Yilan Gu; Mikhail Soutchanski (AAAI, 2008)

A description logic based situation calculus. - Yilan Gu; Mikhail Soutchanski (Ann. Math. Artif. Intell., 2010)

Advanced Reasoning about Dynamical Systems. - Yilan Gu (2011)

SMAT: String Matching in Action Theory. - Xing Tan 002; Jingwei Huang 002; Yilan Gu (WI/IAT, 2022)