Fangzhen Lin (PhD, Stanford)

Recent Publications

• Fangzhen Lin and Hector Levesque. What robots can do: Robot programs and effective achievability. Artificial Intelligence. To appear.
• Fangzhen Lin. On measuring plan quality (a preliminary report) This is a slight modification of a paper with the same title that appeared in Proc. of the Sixth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pp. 224-233, Trento, Italy, June 1998.
• Fangzhen Lin. On the relationships between static and dynamic causal rules in the situation calculus. Working paper presented at the AAAI'98 Spring Symposium on Prospects for a Commonsense Theory of Causation Stanford University, CA, March 1998.
• F. Lin. Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator. IJCAI'97 Distinguished Paper Award.
  IJCAI'97 version: PS file for a4 paper, PS file for letter size paper, DVI file.
  Full version: PS file To appear in Artificial Intelligence Best of IJCAI'97 Special Issue

• F. Lin An Ordering on Subgoals for Planning . Annals of Mathematics and Artificial Intelligence Special Issue in Honor of Professor Michael Gelfond. 21(1997) 321-342.
  PS file for a4 paper, PS file for letter size paper, DVI file,

• F. Lin and R. Reiter. How to progress a database. Artificial Intelligence. 92(1-2), pp.131-167, 1997.

• F. Lin. Embracing causality in specifying the indeterminate effects of actions. Proc. of AAAI'96.

• H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming Special Issue on Reasoning about Action and Change. 31(1-3), pp.59-84, 1997.

• F. Lin and R. Reiter. Rules as actions: A situation calculus semantics for logic programs. Journal of Logic Programming Special Issue on Reasoning about Action and Change. 31(1-3), pp.299-330, 1997.

• F. Lin Abstract operators, indeterminate actions, and the magic predicate . Presented at the 3rd Symposium on Logical Formalizations of Commonsense Reasoning, Jan. 1996, Stanford, CA.

• F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. IJCAI'95, pp. 1985-1993, 1995.

• F. Lin and R. Reiter. How to progress a database II: The STRIPS connection. In Proc. IJCAI'95, pp. 2001-2007, 1995.

• F. Lin and R. Reiter. How to progress a database (and why) I: Formal foundations. In Proc. Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 425-436, 1994.

• F. Lin and Y. Shoham. Provably correct theories of action. Journal of ACM 42(2):293-320, 1995.

• F. Lin and Y. Shoham. On non-forgetting and minimal learning. To appear in Proc. of the 1993 Int. Coll. on Cognitive Science, N. Asher, K. Korta, and J. Ezquerro, editors, Kluwer Academic Publishers.

• F. Lin and R. Reiter. Forget It! Presented at the AAAI Fall Symposium on Relevance, New Orleans, Nov. 1994

• F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation, 4(5):655-678, Special Issue on Action and Processes, 1994.

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a Logical Approach to Agent Programming. In Working Notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Montréal, August, 1995.

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Fondements d'une Approche Logique à la Programmation d'Agents. Actes des Troisièmes Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents, pp. 3-14, Chambéry-St-Badolph, France, March, 1995.

• Y. Lespérance, H. Levesque, F. Lin, and R. Scherl. Ability and Knowing How in the Situation Calculus. Unpublished manuscript.

• Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A Logical Approach to High-Level Robot Programming -- A Progress Report. In Benjamin Kuipers, editor,Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, pages 79-85, New Orleans, LA, November, 1994.

• H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Submitted to Journal of Logic Programming, Special issue on Reasoning about Action and Change.

• D. Marcu, Y. Lespérance, H. Levesque, F. Lin, R. Reiter, and R. Scherl. Distributed Software Agents and Communication in the Situation Calculus. In Proc. Intelligent Computer Communication (ICC'95) Conference, Cluj-Napoca, Romania, June, 1995.

See also the home page of the University of Toronto Cognitive Robotics Group.