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
14321997
ASSAT: Computing answer sets of a logic program by SAT solvers
F Lin, Y Zhao
Artificial Intelligence 157 (1-2), 115-137, 2004
6242004
Embracing Causality in Specifying the Indirect E ects of Actions
F Lin
Proceedings of the International Joint Conference on Artificial Intelligence …, 1995
3611995
Forget it
F Lin, R Reiter
Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994
2591994
How to progress a database
F Lin, R Reiter
Artificial Intelligence 92 (1-2), 131-167, 1997
2171997
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
1841995
Argument systems
F Lin, Y Shoham
Proceedings of the First International Conference on Principles of Knowledge …, 1989
1731989
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
1401994
Provably Correct Theories of Action (Preliminary Report).
F Lin, Y Shoham
AAAI, 349-354, 1991
1321991
On strongest necessary and weakest sufficient conditions
F Lin
Artificial Intelligence 128 (1-2), 143-159, 2001
1152001
Concurrent actions in the situation calculus
F Lin, Y Shoham
AAAI 92, 590-595, 1992
1061992
Embracing causality in specifying the indeterminate effects of actions
F Lin
AAAI/IAAI, Vol. 1, 670-676, 1996
1001996
Reducing strong equivalence of logic programs to entailment in classical propositional logic
F Lin
International Conference on Principles of Knowledge Representation and …, 2002
972002
Computer-aided proofs of Arrow's and other impossibility theorems
P Tang, F Lin
Artificial Intelligence 173 (11), 1041-1053, 2009
902009
Ability and knowing how in the situation calculus
Y Lespérance, HJ Levesque, F Lin, RB Scherl
Studia Logica 66 (1), 165-186, 2000
902000
Epistemic semantics for fixed-points non-monotonic logics
F Lin, Y Shoham
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about …, 1990
881990
A logic of knowledge and justified assumptions
F Lin, Y Shoham
Artificial Intelligence 57 (2-3), 271-289, 1992
801992
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
652003
Alternating fixpoint theory for logic programs with priority
K Wang, L Zhou, F Lin
International Conference on Computational Logic, 164-178, 2000
652000
An overview of cold resistance in plants
LJ Chen, HZ Xiang, Y Miao, L Zhang, ZF Guo, XH Zhao, JW Lin, TL Li
Journal of agronomy and crop science 200 (4), 237-245, 2014
552014
The system can't perform the operation now. Try again later.
Articles 1–20