Sotabase

Career

· Professor, Hong Kong University of Science and Technology2024–
· Research Scientist, University of Toronto1992–1996
· Research Scientist, Stanford University1991–1992

Publications (144)

GOLOG: A Logic Programming Language for Dynamic Domains
The Journal of Logic Programming · 1997
1,306
cited
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence · 2002
584
cited
State Constraints Revisited
Journal of Logic and Computation · 1994
323
cited
Embracing Causality in Specifying the Indirect Effects of Actions
International Joint Conference on Artificial Intelligence · 1995
311
cited
Forget It !
1994
205
cited
How to Progress a Database
Artificial Intelligence · 1997
191
cited
Foundations of a Logical Approach to Agent Programming
ATAL · 1995
173
cited
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning
International Conference on Principles of Knowledge Representation and Reasoning · 1989
133
cited
A Logical Approach to High-Level Robot Programming A Progress Report*
1994
132
cited
On strongest necessary and weakest sufficient conditions
Artificial Intelligence · 2000
106
cited
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems
AAAI Conference on Artificial Intelligence · 2008
105
cited
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
International Conference on Principles of Knowledge Representation and Reasoning · 2002
101
cited
Concurrent Actions in the Situation Calculus
AAAI Conference on Artificial Intelligence · 1992
84
cited
Provably correct theories of action
JACM · 1991
81
cited
Ability and Knowing How in the Situation Calculus
Studia Logica: An International Journal for Symbolic Logic · 2000
80
cited
Embracing Causality in Specifying the Indeterminate Effects of Actions
AAAI/IAAI, Vol. 1 · 1996
75
cited
Epistemic Semantics for Fixed-Points Non-Monotonic Logics
Theoretical Aspects of Rationality and Knowledge · 1990
72
cited
A Logic of Knowledge and Justified Assumptions
Artificial Intelligence · 1992
70
cited
Provably Correct Theories of Action (Preliminary Report)
AAAI Conference on Artificial Intelligence · 1991
69
cited
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic
International Joint Conference on Artificial Intelligence · 2003
67
cited
Sotabase
Fangzhen Lin | Researcher Profile | Sotabase | Sotabase