Follow
Fangzhen Lin
Fangzhen Lin
Unknown affiliation
Verified email at cs.ust.hk
Title
Cited by
Cited by
Year
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
15161997
ASSAT: Computing answer sets of a logic program by SAT solvers
F Lin, Y Zhao
Artificial Intelligence 157 (1-2), 115-137, 2004
6782004
Embracing Causality in Specifying the Indirect E ects of Actions
F Lin
Proceedings of the International Joint Conference on Artificial Intelligence …, 1995
3771995
Forget it
F Lin, R Reiter
Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994
2991994
How to progress a database
F Lin, R Reiter
Artificial Intelligence 92 (1-2), 131-167, 1997
2321997
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
1941996
Argument systems: A uniform basis for nonmonotonic reasoning.
F Lin, Y Shoham
KR 89, 245-255, 1989
1811989
Provably correct theories of action
F Lin, Y Shoham
Journal of the ACM (JACM) 42 (2), 293-320, 1995
1751995
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
1481994
On strongest necessary and weakest sufficient conditions
F Lin
Artificial Intelligence 128 (1-2), 143-159, 2001
1302001
Computer-aided proofs of Arrow's and other impossibility theorems
P Tang, F Lin
Artificial Intelligence 173 (11), 1041-1053, 2009
1102009
Concurrent actions in the situation calculus
F Lin, Y Shoham
Proceedings of the tenth national Conference on Artificial intelligence, 590-595, 1992
1081992
Reducing strong equivalence of logic programs to entailment in classical propositional logic
F Lin
International Conference on Principles of Knowledge Representation and …, 2002
1062002
Embracing causality in specifying the indeterminate effects of actions
F Lin
AAAI/IAAI, Vol. 1, 670-676, 1996
1041996
Ability and knowing how in the situation calculus
Y Lespérance, HJ Levesque, F Lin, RB Scherl
Studia Logica 66, 165-186, 2000
1032000
A logic of knowledge and justified assumptions
F Lin, Y Shoham
Artificial Intelligence 57 (2-3), 271-289, 1992
871992
Epistemic semantics for fixed-points non-monotonic logics
F Lin, Y Shoham
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about …, 1990
871990
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
822003
Alternating fixpoint theory for logic programs with priority
K Wang, L Zhou, F Lin
Computational Logic—CL 2000: First International Conference London, UK …, 2000
712000
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
572002
The system can't perform the operation now. Try again later.
Articles 1–20