Yilan Gu

Contact information:

Email: yilan(at)cs.toronto.edu

I am a PhD recently graduated from the Dept. of Computer Science at University of Toronto (UofT). My supervisor at UofT is Dr. H. Levesque and my thesis advisor is Dr. M. Soutchanski.

I got a M.S. degree in computer science at University of Toronto, and Dr. R. Reiter was my supervisor and thesis advisor. I also got a M.S. degree and B.S. in Mathematics at Nanjing University.



Research Interest

Publications

Teaching Experience

Activities

CV

Useful Links



Research Interest

My major is Artificial Intelligence, in particular, the area of knowledge representation and reasoning. My PhD research topics focus on representing features of a dynamic environment properly and reasoning about the effects of actions more efficiently. I am also interested in description logics, semantic web services, modal logic, ontology, and applications of KR and logical techniques to other related areas.

[Back to Top]

Publications

THESES

  1. Gu, Y., Dept. of Computer Science, University of Toronto, Ph.D. thesis: Advanced Reasoning about Dynamical Systems. September 2010. Supervisor: Hector Levesque. Thesis advisor: Mikhail Soutchanski. [.ps | .pdf]

  2. Gu, Y., Dept. of Computer Science, University of Toronto, master thesis: Handling Uncertainty System in the Situation Calculus with Macro-actions. September 2002. Supervisor and thesis advisor: Raymond Reiter. [.ps | .pdf | Presentation slides]

  3. Gu, Y., Dept. of Mathematics, Nanjing University, master's thesis: The Algorithms of Reconstructions of the Open Logic. June 1999. Supervisor and thesis advisor: Decheng Ding.

JOURNAL ARTICLES

  1. Gu, Y. and Soutchanski, M., A Discription Logic Based Situtation Calculus, Annals of Mathematics and Artificial Intelligence journal, Volume 58, Numbers 1-2, pages 3-83, DOI 10.1007/s10472-010-9176-z, Feburary 2010. Available at HTTP: http://www.springerlink.com/content/hr0m7q4h16210365/

CONFERENCE PUBLICATIONS

  1. Gu, Y. and Soutchanski, M., Order-Sorted Reasoning in the Situation Calculus, in the Proceedings of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), pp.65-72, 2009. [Abstract | .pdf]

    This paper is also published by "Digital Commons @ Ryerson" on May 4, 2009, as A Logic of Actions Revisited , Technical Reports, Paper 1.

    A revised and improved version is published in the book ``Knowing, Reasoning, and Acting: Essays in Honor of Hector J. Levesque", edited by Gerhard Lakemeyer and Sheila A. McIlraith, College Publications, 2011, ISBN-10: 1848900449.

  2. Gu, Y. and Soutchanski, M., Reasoning about Large Taxonomies of Actions, in the Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08), pp. 931-937, 2008. [Abstract | .ps | .pdf | Presentation slides]

  3. Gu, Y. and Soutchanski, M., Decidable Reasoning in a Modified Situation Calculus, in the Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.1891-1897, 2007. [pdf | Presentation slides]

    (Also published in the Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning, 2007.)

  4. Gu, Y. and Soutchanski, M., The Two-variable Situation Calculus, in the Proceedings of the third European Starting AI Researcher Symposium (STAIRS-07), pp.144-161, 2006. [.ps | .pdf | Presentation slides]

  5. Gu, Y., On the Algorithms of Reconstructions of the Open Logic, in the Proceedings of the Sixth Asian Logic Conference (Vol. 2), 35 - 47, 1998.

WORKSHOP PUBLICATIONS

  1. Gu, Y., Reasoning about Dynamical Systems, in the Proceedings of Grace Hopper Celebration of Women in Computing 2008 (PhD Forum), 2008. [Abstract | .pdf]

  2. Gu, Y. and Soutchanski, M., Modular Basic Action Theories, in the Proceedings of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change, pp.73-78, 2007. [.ps | .pdf | Presentation slides]

  3. Gu, Y. and Soutchanski, M., A Logic for Decidable Reasoning about Services,” in the Proceedings of ECAI-06 workshop on AI-Driven Technologies for Composition Services, 2006. [.ps | .pdf | Presentation slides]

    (Also published in the Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing, 2006.)

  4. Gu, Y. and Kiringa, I., Model Checking Meets Theorem Proving: a Situation Calculus Based Approach, in the Proceedings of the 11th International Workshop on Nonmonotonic Reasoning, Action, and Change, 2006. [Abstract | .ps | .pdf]

  5. Gu, Y. and Kiringa, I., A Situation Calculus Based Approach for Model Checking, poster publication at NESCAI2006: North East Student Colloquium on Artificial Intelligence, 2006. [Presentation slides]

  6. Gu, Y., Macro-actions in the Situation Calculus, in the Proceedings of IJCAI’03 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-03), 2003. [Abstract | .ps | .pdf | Presentation slides]  

[Back to Top]

Teaching Experience

I served as teaching assistants for over 16 courses (including several graduate courses) in the past ten years at various universities. I also ever worked as an instructor for several undergraduate computer science courses. In order to improve my teaching skills, I also attended THE500 (Teaching in Higher Education) in the winter term of 2009. Here are some courses I have taught.

COURSE INSTRUCTORS      

Responsibilities: conducting lectures, holding office hours, preparing tutorial materials, assigning TA jobs, designing assignments and exams.

1.    Dept. of Computer Science, University of Toronto, Sept. 2009 -- Dec. 2009

Course: CSC324 Principles of Programming Languages

Course: CSC326 Programming Languages

2.    Dept. of Computer Science, University of Toronto, May 2006 -- Aug. 2006

Course: CSC165 Mathematical Expression and Reasoning for Computer Science

TEACHING ASSISTANTSHIPS

Responsibilities: conducting tutorials, holding office hours, leading lab sessions, designing assignment questions, grading assignments & exams.

1.    Department of Computer Science, University of Toronto (St. George Campus) Sept.2000 -- present

CSC104 The How and Why of Computing (2002 Winter)

CSC209 Software Tools and Systems Programming (2002 Fall, 2004 Winter)

CSC236 Introduction to the Theory of Computation (2004 Fall, 2006 Winter)

CSC238 Discrete Mathematics for Computer Science (2000 Fall, 2002 Summer)

CSC270 Fundamental Data Structures and Techniques (2001 Summer)

CSC364 Computational Complexity and Computability (2003 Summer)

CSC465/CSC2104 Formal Methods of Program Design [graduate course] (2001 Fall, 2003 Fall)

CSC2509 Data Management Systems [graduate course] (2003 Winter)

2.    Dept. of Computer Science, University of Toronto (Scarborough Campus) Sept. 2004 -- May 2007

CSCA02 The How and Why of Computing (2004 Fall, 2005 Winter, 2005 Fall, 2006 Fall, 2007 Winter)

3.    Dept. of Computer Science, University of Toronto (Mississauga Campus) Jan. 2002 -- Jan. 2009

CSC104 The How and Why of Computing (Fall 2008)

CSC354 Systems Modeling and Discrete Simulation (2002 Winter)

4.    Department of Applied Computer Science, Ryerson University, Sept. 2003 -- Fall 2009

CP8201 Computability and Logic [graduate course] (2008 Fall)

CPS616 Analysis of Algorithms (2007 Winter)

CPS720 Selected Topics in Artificial Intelligence (2003 Fall)

CPS721 Artificial Intelligence (2004 Winter, 2006 Fall)

5.    Dept. of Mathematics, Nanjing University, Sept. 1996 -- Aug. 1999

Mathematical Analysis (1996 Fall, 1998 Fall)

Linear Algebra (1997 Fall) 

[Back to Top]

Activities

I was a member of the Cognitive Robotics (COGROBO) group at University of Toronto, attending group meetings and seminars regularly. I also regularly attended ontology seminars and the group meetings of the Semantic Technologies Laboratory led by Dr. Michael Gruninger in Department of Mechanical and Industrial Engineering at University of Toronto. I served as a volunteer and paper reviewer for several international conferences/workshops and as a PC member for Commonsense2011 before. I also attended other research groups and projects in the past. For instance, I was a research member of the National 863 Project on Tractable Problem in Computer Logic when I was in China. Check out my CV for detailed information. 

 [Back to Top]

Useful Links

·         Tools:

o        Wolfman MathWorld

o        English dictionary

o        UofT library

o        Citeseer

o        Description Logics

·         Research Groups, etc.

o        The COGROBO research group

o        COGS group meeting

o        The Semantic Technologies Laboratory

[Back to Top]

Yilan Gu © 2011, University of Toronto