Concepedia

Fangzhen Lin

FL

43

Publications

3.3K

Citations

25

H-Index

1987

Active since

Affiliations

Hong Kong University of Science and Technology(Current)

University of Toronto

Stanford University

University of Hong Kong

Fangzhen Lin is an author at Hong Kong University of Science and Technology specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationLogic ProgrammingSemanticsAnswer Set ProgrammingArtificial IntelligenceReasoning

Publications per year

1987–2022

43

Publications

43

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · The Journal of Logic Programming · 1997 · 1K citations

Applied Logic, Logic Programming Language, Engineering +7

ASSAT: computing answer sets of a logic program by SAT solvers

Fangzhen Lin, Yuting Zhao · Artificial Intelligence · 2004 · 418 citations

Engineering, Program Analysis, Answer Set Programming +11

Embracing causality in specifying the indirect effects of actions

Fangzhen Lin · 1995 · 203 citations

How to progress a database

Fangzhen Lin, Ray Reiter · Artificial Intelligence · 1997 · 157 citations

Database Processing, Databases, Management +5

ASSAT: computing answer sets of a logic program by SAT solvers

Fangzhen Lin, Yuting Zhao · National Conference on Artificial Intelligence · 2002 · 111 citations

Engineering, Program Analysis, Answer Set Programming +14

Rows per page

1–5 of 43