| 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 | 1465 | 1997 |
| ASSAT: Computing answer sets of a logic program by SAT solvers F Lin, Y Zhao Artificial Intelligence 157 (1-2), 115-137, 2004 | 640 | 2004 |
| Embracing Causality in Specifying the Indirect E ects of Actions F Lin Proceedings of the International Joint Conference on Artificial Intelligence …, 1995 | 370 | 1995 |
| Forget it F Lin, R Reiter Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994 | 277 | 1994 |
| How to progress a database F Lin, R Reiter Artificial Intelligence 92 (1-2), 131-167, 1997 | 225 | 1997 |
| Foundations of a logical approach to agent programming Y Lespérance, HJ Levesque, F Lin, D Marcu, R Reiter, RB Scherl International Workshop on Agent Theories, Architectures, and Languages, 331-346, 1995 | 186 | 1995 |
| Argument systems F Lin, Y Shoham Proceedings of the first international conference on Principles of knowledge …, 1989 | 172 | 1989 |
| 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 | 147 | 1994 |
| Provably Correct Theories of Action (Preliminary Report). F Lin, Y Shoham AAAI 91, 349-354, 1991 | 133 | 1991 |
| On strongest necessary and weakest sufficient conditions F Lin Artificial Intelligence 128 (1-2), 143-159, 2001 | 122 | 2001 |
| Concurrent actions in the situation calculus F Lin, Y Shoham AAAI 92, 590-595, 1992 | 105 | 1992 |
| Embracing causality in specifying the indeterminate effects of actions F Lin AAAI/IAAI, Vol. 1, 670-676, 1996 | 103 | 1996 |
| Computer-aided proofs of Arrow's and other impossibility theorems P Tang, F Lin Artificial Intelligence 173 (11), 1041-1053, 2009 | 99 | 2009 |
| Reducing strong equivalence of logic programs to entailment in classical propositional logic F Lin International Conference on Principles of Knowledge Representation and …, 2002 | 96 | 2002 |
| Ability and knowing how in the situation calculus Y Lespérance, HJ Levesque, F Lin, RB Scherl Studia Logica 66 (1), 165-186, 2000 | 93 | 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 |
| A logic of knowledge and justified assumptions F Lin, Y Shoham Artificial Intelligence 57 (2-3), 271-289, 1992 | 80 | 1992 |
| 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 | 69 | 2003 |
| Alternating fixpoint theory for logic programs with priority K Wang, L Zhou, F Lin International Conference on Computational Logic, 164-178, 2000 | 65 | 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 | 56 | 2002 |
