Login with OpenID | Report issues

 

Author: Yilan Gu [RDF, Bibtex, BibBase, BibGraph] has 8 publications

report error (So far 0 user(s) reported errors on this item)

See also:


Reasoning about Large Taxonomies of Actions Yilan Gu, Mikhail Soutchanski. Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI-08) 931--937 2008


Modular Basic Action Theories Yilan Gu, Mikhail Soutchanski, Mary Anne Williams, Alankar Karol, Pavlos Peppas. Proceedings of the 7th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-07) 73--78 2007


Decidable Reasoning in a Modified Situation Calculus Yilan Gu, Mikhail Soutchanski. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) 2007


A Logic for Decidable Reasoning about Services Yilan Gu, Mikhail Soutchanski. Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06) 2006


Model Checking Meets Theorem Proving: a Situation Calculus Based Approach Yilan Gu, Iluju Kiringa. Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-06) at KR2006 2006


The Two-variable Situation Calculus Yilan Gu, Mikhail Soutchanski. Proceedings of the third European Starting AI Researcher Symposium (STAIRS-06) at ECAI06 2006


Macro-actions in the Situation Calculus Yilan Gu. Proceedings of the 5th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-03) 2003


Handling Uncertainty System in the Situation Calculus with Macro-actions Yilan Gu. Dept. of Computer Science, University of Toronto 2002