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
14271997
ASSAT: Computing answer sets of a logic program by SAT solvers
F Lin, Y Zhao
Artificial Intelligence 157 (1-2), 115-137, 2004
6192004
Embracing Causality in Specifying the Indirect E ects of Actions
F Lin
Proceedings of the International Joint Conference on Artificial Intelligence …, 1995
3581995
Forget it
F Lin, R Reiter
Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994
2571994
How to progress a database
F Lin, R Reiter
Artificial Intelligence 92 (1-2), 131-167, 1997
2121997
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
1751995
Argument systems
F Lin, Y Shoham
Proceedings of the First International Conference on Principles of Knowledge …, 1989
1691989
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
1391994
Provably Correct Theories of Action (Preliminary Report).
F Lin, Y Shoham
AAAI, 349-354, 1991
1291991
On strongest necessary and weakest sufficient conditions
F Lin
Artificial Intelligence 128 (1-2), 143-159, 2001
1122001
Concurrent actions in the situation calculus
F Lin, Y Shoham
AAAI 92, 590-595, 1992
1041992
Reducing strong equivalence of logic programs to entailment in classical propositional logic
F Lin
International Conference on Principles of Knowledge Representation and …, 2002
972002
Embracing causality in specifying the indeterminate effects of actions
F Lin
AAAI/IAAI, Vol. 1, 670-676, 1996
961996
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
882000
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
A logic of knowledge and justified assumptions
F Lin, Y Shoham
Artificial Intelligence 57 (2-3), 271-289, 1992
801992
Alternating fixpoint theory for logic programs with priority
K Wang, L Zhou, F Lin
International Conference on Computational Logic, 164-178, 2000
652000
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
632003
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
562002
The system can't perform the operation now. Try again later.
Articles 1–20