`Travelled to:`

1 × Australia

1 × Austria

1 × France

1 × Germany

1 × India

1 × Italy

1 × United Kingdom

2 × Canada

2 × USA

`Collaborated with:`

∅ Y.Wang X.Chen J.Ji Y.Zhao R.Reiter Y.Shoham K.Wang L.Zhou Y.Chen M.Zhang

`Talks about:`

program (8) logic (7) order (5) first (3) loop (3) support (2) extern (2) comput (2) answer (2) golog (2)

## Person: Fangzhen Lin

### DBLP: Lin:Fangzhen

### Facilitated 1 volumes:

### Contributed to:

### Wrote 15 papers:

- KR-2014-Lin #first-order #formal method #linear #logic #source code
- A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).
- KR-2014-Lin14a #axiom #first-order #higher-order #induction #semantics
- A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).
- ICLP-2009-ChenJL #logic programming #source code
- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.
- KR-2008-ChenJL
- Computing Loops with at Most One External Support Rule (XC, JJ, FL), pp. 401–410.
- KR-2008-Lin #proving
- Proving Goal Achievability (FL), pp. 621–628.
- KR-2008-LinW #programming #set
- Answer Set Programming with Functions (FL, YW), pp. 454–465.
- KR-2006-ChenLWZ #first-order #logic programming #source code
- First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.
- KR-2004-Lin #invariant
- Discovering State Invariants (FL), pp. 536–544.
- ICLP-2003-ZhaoL #case study #programming #set #source code
- Answer Set Programming Phase Transition: A Study on Randomly Generated Programs (YZ, FL), pp. 239–253.
- KR-2002-Lin #equivalence #logic programming #source code
- Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic (FL), pp. 170–176.
- CL-2000-WangZL #fixpoint #logic programming #source code
- Alternating Fixpoint Theory for Logic Programs with Priority (KW, LZ, FL), pp. 164–178.
- KR-2000-Lin #on the
- On Strongest Necessary and Weakest Sufficient Conditions (FL), pp. 167–175.
- KR-1998-Lin #on the #quality
- On Measuring Plan Quality (FL), pp. 224–233.
- KR-1994-LinR #database #how #logic #why
- How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.
- KR-1989-LinS #reasoning
- Argument Systems: A Uniform Basis for Nonmonotonic Reasoning (FL, YS), pp. 245–255.