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
14691997
ASSAT: Computing answer sets of a logic program by SAT solvers
F Lin, Y Zhao
Artificial Intelligence 157 (1-2), 115-137, 2004
6422004
Embracing Causality in Specifying the Indirect E ects of Actions
F Lin
Proceedings of the International Joint Conference on Artificial Intelligence …, 1995
3701995
Forget it
F Lin, R Reiter
Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994
2781994
How to progress a database
F Lin, R Reiter
Artificial Intelligence 92 (1-2), 131-167, 1997
2261997
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
1861995
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
1461994
Provably Correct Theories of Action (Preliminary Report).
F Lin, Y Shoham
AAAI 91, 349-354, 1991
1331991
On strongest necessary and weakest sufficient conditions
F Lin
Artificial Intelligence 128 (1-2), 143-159, 2001
1222001
Concurrent actions in the situation calculus
F Lin, Y Shoham
AAAI 92, 590-595, 1992
1051992
Embracing causality in specifying the indeterminate effects of actions
F Lin
AAAI/IAAI, Vol. 1, 670-676, 1996
1031996
Computer-aided proofs of Arrow's and other impossibility theorems
P Tang, F Lin
Artificial Intelligence 173 (11), 1041-1053, 2009
1012009
Reducing strong equivalence of logic programs to entailment in classical propositional logic
F Lin
International Conference on Principles of Knowledge Representation and …, 2002
972002
Ability and knowing how in the situation calculus
Y Lespérance, HJ Levesque, F Lin, RB Scherl
Studia Logica 66 (1), 165-186, 2000
932000
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
702003
Alternating fixpoint theory for logic programs with priority
K Wang, L Zhou, F Lin
International Conference on Computational Logic, 164-178, 2000
662000
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