Yilan Gu

According to our database1, Yilan Gu authored at least 6 papers between 2006 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
SMAT: String Matching in Action Theory.
Proceedings of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2022

2011
Advanced Reasoning about Dynamical Systems.
PhD thesis, 2011

2010
A description logic based situation calculus.
Ann. Math. Artif. Intell., 2010

2008
Reasoning about Large Taxonomies of Actions.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Decidable Reasoning in a Modified Situation Calculus.
Proceedings of the IJCAI 2007, 2007

2006
The Two-Variable Situation Calculus.
Proceedings of the STAIRS 2006, 2006


  Loading...