| Code, Nr | Citation |
|---|
1 |
NIL
Lin's Home Page Fangzhen Lin (PhD, Stanford) Recent Publications |
2 |
http://www.cs.ust.hk/faculty/flin/papers/robot.ps
Fangzhen Lin and Hector Levesque. What robots can do: Robot programs and effective achievability . Artificial Intelligence . To appear. |
3 |
http://www.cs.ust.hk/faculty/flin/papers/kr98.ps
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. |
| c-kr-98-224 | Fangzhen Lin.
On Measuring Plan Quality (A Preliminary Report). [postscript]
Proc. International Conf on Knowledge Representation and Reasoning, 1998, pp. 224-233.
|
4 |
http://www.cs.ust.hk/faculty/flin/papers/spring98.ps
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. |
5 |
ftp://ftp.cs.ust.hk/pub/flin/papers/ijcai97.ps.Z
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 |
6 |
ftp://ftp.cs.ust.hk/pub/flin/papers/ordergelfond.ps.Z
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 , |
| j-amai-21-321 | Fangzhen Lin.
An Ordering on Subgoals for Planing. [postscript]
Annals of Mathematics and Artificial Intelligence, vol. 21, pp. 321-342. |
7 |
ftp://ftp.cs.toronto.edu/pub/cogrob/progress.ps.Z
F. Lin and R. Reiter. How to progress a database. Artificial Intelligence . 92(1-2), pp.131-167, 1997. |
| j-aij-92-131 | Fangzhen Lin and Ray Reiter.
How to progress a database. [postscript]
Artificial Intelligence Journal, vol. 92, pp. 131-167. |
8 |
ftp://ftp.cs.toronto.edu/pub/cogrob/indtm.ps.Z
F. Lin. Embracing causality in specifying the indeterminate effects of actions. Proc. of AAAI'96. |
9 |
ftp://ftp.cs.toronto.edu/pub/cogrob/GOLOGlang.ps.Z
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. |
| j-jlp-31-59 | Hector J. Levesque, Ray Reiter, Yves Lespérance, and Fangzhen Lin.
GOLOG: A Logic Programming Language for Dynamic Domains. [postscript]
Journal of Logic Programming, vol. 31 (1997), pp. 59-84. |
10 |
ftp://ftp.cs.toronto.edu/pub/cogrob/lp.ps.Z
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. |
| j-jlp-31-299 | F. Lin and R. Reiter.
Rules as actions: A situation calculus semantics for logic programs. [postscript]
Journal of Logic Programming, vol. 31 (1997), pp. 299-330. |
11 |
ftp://ftp.cs.toronto.edu/pub/cogrob/commonsense96.ps.Z
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. |
12 |
ftp://ftp.cs.toronto.edu/pub/cogrob/causality.ps.Z
F. Lin. Embracing causality in specifying the indirect effects of actions . In Proc. IJCAI'95 , pp. 1985-1993, 1995. |
| c-ijcai-95-1985 | Fangzhen Lin.
Embracing Causality in Specifying the Indirect Effects of Actions. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1985-1991.
|
13 |
ftp://ftp.cs.toronto.edu/pub/cogrob/progress2.ps.Z
F. Lin and R. Reiter. How to progress a database II: The STRIPS connection . In Proc. IJCAI'95 , pp. 2001-2007, 1995. |
| c-ijcai-95-2001 | Fangzhen Lin and Ray Reiter.
How to Progress a Database II: The STRIPS Connection. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 2001-2007.
|
14 |
ftp://ftp.cs.toronto.edu/pub/cogrob/progress1.ps.Z
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. |
| c-kr-94-425 | Fangzhen Lin and Ray Reiter.
How to progress a Database (and Why) I. [postscript]
Proc. International Conf on Knowledge Representation and Reasoning, 1994, pp. 425-436.
|
15 |
ftp://ftp.cs.toronto.edu/pub/cogrob/pcta.ps.Z
F. Lin and Y. Shoham. Provably correct theories of action . Journal of ACM 42(2):293-320, 1995. |
16 |
ftp://ftp.cs.toronto.edu/pub/cogrob/persist.ps.Z
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. |
17 |
ftp://ftp.cs.toronto.edu/pub/cogrob/forgetting.ps.Z
F. Lin and R. Reiter. Forget It! Presented at the AAAI Fall Symposium on Relevance , New Orleans, Nov. 1994 |
18 |
ftp://ftp.cs.toronto.edu/pub/cogrob/constraint.ps.Z
F. Lin and R. Reiter. State Constraints Revisited . Journal of Logic and Computation , 4(5):655-678, Special Issue on Action and Processes, 1994. |
| j-jlc-4-655 | Fangzen Lin and Ray Reiter.
State Constraints Revisited. [postscript]
Journal of Logic and Computation, vol. 4 (1994), pp. 655-678. |
19 |
ftp://ftp.cs.toronto.edu/pub/cogrob/agentprog.ps.Z
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. |
20 |
ftp://ftp.cs.toronto.edu/pub/cogrob/agentprogfr.ps.Z
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. |
21 |
ftp://ftp.cs.toronto.edu/pub/cogrob/abilityInSC.ps.Z
Y. Lespérance, H. Levesque, F. Lin, and R. Scherl. Ability and Knowing How in the Situation Calculus . Unpublished manuscript. |
22 |
ftp://ftp.cs.toronto.edu/pub/cogrob/robotprog.ps.Z
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. |
| c-aaai-94-79 | Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl.
A Logical Approach to High-Level Robot Programming. [postscript]
Proc. AAAI National Conference on Artificial Intelligence, 1994, pp. 79-85.
|
23 |
ftp://ftp.cs.toronto.edu/pub/cogrob/GOLOGlang.ps.Z
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. |
24 |
ftp://ftp.cs.toronto.edu/pub/cogrob/distribagents.ps.Z
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 . |
25 |
NIL
Department of Computer Science
The Hong Kong University of Science and Technology
Clear Water Bay
Kowloon, Hong Kong
Email: flin@cs.ust.hk
(852) 2358 6975
FAX: (852) 2358 1477
|