Fuzzy Logic with Equality. - Churn-Jung Liau; Bertrand I-Peng Lin (Int. J. Pattern Recognit. Artif. Intell., 1988)

Quantitative Modal Logic and Possibilistic Reasoning. - Churn-Jung Liau; Bertrand I-Peng Lin (ECAI, 1992)

Gentzen Sequent Calculus for Possibilistic Reasoning. - Churn-Jung Liau; Bertrand I-Peng Lin (Logic at Work, 1992)

Abstract Minimality and Circumscription. - Churn-Jung Liau; Bertrand I-Peng Lin (Artif. Intell., 1992)

Reasoning about Higher Order Uncertainty in Possiblistic Logic. - Churn-Jung Liau; Bertrand I-Peng Lin (ISMIS, 1993)

Proof methods for reasoning about possibility and necessity. - Churn-Jung Liau; Bertrand I-Peng Lin (Int. J. Approx. Reason., 1993)

A theoretical investigation into quantitative modal logic. - Churn-Jung Liau; Bertrand I-Peng Lin (Fuzzy Sets Syst., 1995)

Possibilistic Reasoning - A Mini-Survey and Uniform Semantics. - Churn-Jung Liau; Bertrand I-Peng Lin (Artif. Intell., 1996)

Nonmonotonic Reasoning Based on Incomplete Logic. - Tuan-Fang Fan; Bertrand I-Peng Lin; Churn-Jung Liau (J. Appl. Non Class. Logics, 1997)