Person: Fangzhen Lin

DBLP: Lin:Fangzhen

Facilitated 1 volumes:

Ed

Contributed to:

2014

2009

2008

2006

2004

2003

2002

2000

2000

1998

1994

1989

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.