1997 | ||
---|---|---|
7 | Tuan-Fang Fan, Bertrand I-Peng Lin, Churn-Jung Liau: Nonmonotonic Reasoning Based on Incomplete Logic. Journal of Applied Non-Classical Logics 7(4): (1997) | |
1996 | ||
6 | EE | Churn-Jung Liau, Bertrand I-Peng Lin: Possibilistic Reasoning - A Mini-Survey and Uniform Semantics. Artif. Intell. 88(1-2): 163-193 (1996) |
1993 | ||
5 | Churn-Jung Liau, Bertrand I-Peng Lin: Reasoning about Higher Order Uncertainty in Possiblistic Logic. ISMIS 1993: 316-325 | |
4 | EE | Churn-Jung Liau, Bertrand I-Peng Lin: Proof methods for reasoning about possibility and necessity. Int. J. Approx. Reasoning 9(4): 327-364 (1993) |
1992 | ||
3 | Churn-Jung Liau, Bertrand I-Peng Lin: Quantitative Modal Logic and Possibilistic Reasoning. ECAI 1992: 43-47 | |
2 | Churn-Jung Liau, Bertrand I-Peng Lin: Gentzen Sequent Calculus for Possibilistic Reasoning. Logic at Work 1992: 31-40 | |
1 | Churn-Jung Liau, Bertrand I-Peng Lin: Abstract Minimality and Circumscription. Artif. Intell. 54(2): 381-396 (1992) |
1 | Tuan-Fang Fan | [7] |
2 | Churn-Jung Liau | [1] [2] [3] [4] [5] [6] [7] |