BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lin:Fangzhen

Facilitated 1 volumes:

KR 2010Ed

Contributed to:

KR 20142014
ICLP 20092009
KR 20082008
KR 20062006
KR 20042004
ICLP 20032003
KR 20022002
CL 20002000
KR 20002000
KR 19981998
KR 19941994
KR 19891989

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.