| GOLOG: A logic programming language for dynamic domains HJ Levesque, R Reiter, Y Lespérance, F Lin, RB Scherl The Journal of Logic Programming 31 (1-3), 59-83, 1997 | 1529 | 1997 |
| ASSAT: Computing answer sets of a logic program by SAT solvers F Lin, Y Zhao Artificial Intelligence 157 (1-2), 115-137, 2004 | 688 | 2004 |
| Embracing Causality in Specifying the Indirect E ects of Actions F Lin Proceedings of the International Joint Conference on Artificial Intelligence …, 1995 | 376 | 1995 |
| Forget it F Lin, R Reiter Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994 | 310 | 1994 |
| How to progress a database F Lin, R Reiter Artificial Intelligence 92 (1-2), 131-167, 1997 | 234 | 1997 |
| Foundations of a logical approach to agent programming Y Lespérance, HJ Levesque, F Lin, D Marcu, R Reiter, RB Scherl Intelligent Agents II Agent Theories, Architectures, and Languages: IJCAI'95 …, 1996 | 190 | 1996 |
| Argument systems: A uniform basis for nonmonotonic reasoning. F Lin, Y Shoham KR 89, 245-255, 1989 | 183 | 1989 |
| Provably correct theories of action F Lin, Y Shoham Journal of the ACM (JACM) 42 (2), 293-320, 1995 | 172 | 1995 |
| A logical approach to high-level robot programming–a progress report Y Lespérance, HJ Levesque, F Lin, D Marcu, R Reiter, RB Scherl Control of the Physical World by Intelligent Systems, Papers from the 1994 …, 1994 | 143 | 1994 |
| On strongest necessary and weakest sufficient conditions F Lin Artificial Intelligence 128 (1-2), 143-159, 2001 | 133 | 2001 |
| Computer-aided proofs of Arrow's and other impossibility theorems P Tang, F Lin Artificial Intelligence 173 (11), 1041-1053, 2009 | 114 | 2009 |
| Reducing strong equivalence of logic programs to entailment in classical propositional logic F Lin International Conference on Principles of Knowledge Representation and …, 2002 | 108 | 2002 |
| Concurrent actions in the situation calculus F Lin, Y Shoham Proceedings of the tenth national Conference on Artificial intelligence, 590-595, 1992 | 107 | 1992 |
| Embracing causality in specifying the indeterminate effects of actions F Lin AAAI/IAAI, Vol. 1, 670-676, 1996 | 103 | 1996 |
| Ability and knowing how in the situation calculus Y Lespérance, HJ Levesque, F Lin, RB Scherl Studia Logica 66, 165-186, 2000 | 102 | 2000 |
| Epistemic semantics for fixed-points non-monotonic logics F Lin, Y Shoham Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about …, 1990 | 88 | 1990 |
| On tight logic programs and yet another translation from normal logic programs to propositional logic F Lin, J Zhao International Joint Conference on Artificial Intelligence, 2003 | 86 | 2003 |
| A logic of knowledge and justified assumptions F Lin, Y Shoham Artificial Intelligence 57 (2-3), 271-289, 1992 | 86 | 1992 |
| Alternating fixpoint theory for logic programs with priority K Wang, L Zhou, F Lin Computational Logic—CL 2000: First International Conference London, UK …, 2000 | 73 | 2000 |
| Abduction in logic programming: A new definition and an abductive procedure based on rewriting F Lin, JH You Artificial Intelligence 140 (1-2), 175-205, 2002 | 57 | 2002 |
