Yilan Gu

Macro-actions in the Stochastic Situation Calculus

Yilan Gu, 2022 .

Advanced Reasoning about Dynamical Systems

Yilan Gu, 2011 .

A Logic For Decidable Reasoning About Services

Yilan Gu, 2006 .

Modular Basic Action Theories

M. Soutchanski, Yilan Gu, 2006 .

Model Checking Meets Theorem Proving : a Situation Calculus Based Approach

Yilan Gu, 2022 .

The Typed Situation Calculus 2 Introduction

M. Soutchanski, Yilan Gu, 2011 .

Order-Sorted Reasoning in the Situation Calculus

M. Soutchanski, Yilan Gu, 2009 .

Handling Uncertainty Systems in the Situation Calculus with Macro-actions

Yilan Gu, Yilan Gu, 2002 .

A description logic based situation calculus

Mikhail Soutchanski, Yilan Gu, M. Soutchanski, 2010, Annals of Mathematics and Artificial Intelligence.

Reasoning with Language Model is Planning with World Model

Zhiting Hu, D. Wang, Yilan Gu, 2023, ArXiv.

SMAT: String Matching in Action Theory

Yilan Gu, Xing Tan, Jingwei Huang, 2022, 2022 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT).