Fangzhen Lin
Fangzhen Lin
Afiliação desconhecida
Email confirmado em cs.ust.hk
Título
Citado por
Citado por
Ano
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
14001997
ASSAT: Computing answer sets of a logic program by SAT solvers
F Lin, Y Zhao
Artificial Intelligence 157 (1-2), 115-137, 2004
6042004
Embracing Causality in Specifying the Indirect E ects of Actions
F Lin
Proceedings of the International Joint Conference on Artificial Intelligence …, 1995
3641995
How to progress a database
F Lin, R Reiter
Artificial Intelligence 92 (1-2), 131-167, 1997
2541997
Forget it
F Lin, R Reiter
Working Notes of AAAI Fall Symposium on Relevance, 154-159, 1994
2531994
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
1741995
Argument systems
F Lin, Y Shoham
Proceedings of the first international conference on Principles of knowledge …, 1989
1681989
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
1411994
Provably Correct Theories of Action (Preliminary Report).
F Lin, Y Shoham
AAAI, 349-354, 1991
1291991
Oxidative stress during 1-lung ventilation
YJ Cheng, KC Chan, CT Chien, WZ Sun, CJ Lin
The Journal of thoracic and cardiovascular surgery 132 (3), 513-518, 2006
1152006
On strongest necessary and weakest sufficient conditions
F Lin
Artificial Intelligence 128 (1-2), 143-159, 2001
1112001
Concurrent actions in the situation calculus
F Lin, Y Shoham
AAAI 92, 590-595, 1992
1021992
Embracing causality in specifying the indeterminate effects of actions
F Lin
AAAI/IAAI, Vol. 1, 670-676, 1996
971996
Reducing strong equivalence of logic programs to entailment in classical propositional logic
F Lin
International Conference on Principles of Knowledge Representation and …, 2002
962002
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
Computer-aided proofs of Arrow's and other impossibility theorems
P Tang, F Lin
Artificial Intelligence 173 (11), 1041-1053, 2009
852009
Ability and knowing how in the situation calculus
Y Lespérance, HJ Levesque, F Lin, RB Scherl
Studia Logica 66 (1), 165-186, 2000
842000
A logic of knowledge and justified assumptions
F Lin, Y Shoham
Artificial Intelligence 57 (2-3), 271-289, 1992
791992
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
IJCAI 3, 853-858, 2003
622003
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20