| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 1995 | A logic for conditional possibility | Liau, C. J.; Lin, I. P. | | | | |
| 1995 | A theoretical investigation into quantitative modal logic | Liau, C. J.; Lin, I. P. | Fuzzy Sets and Systems 75, 355-363 | | | |
| 1992 | Abstract minimality and circumscription | Liau, C. J.; Lin, I. P. | Artificial Intelligence 54 | | | |
| 1988 | Fuzzy logic with equality | Liau, C. J.; Lin, I. P. | International Journal of Pattern Recognition and Artificial Intelligence 2 | | | |
| 1991 | Fuzzy term rewriting system | Liau, C. J.; Lin, I. P. | Fuzzy Sets and Systems 44 | | | |
| 1994 | Gentzen sequent calculus for possibilistic reasoning | Liau, C. J.; Lin, I. P. | | | | |
| 1997 | Nonmonotonic reasoning based on incomplete logic | Fan, T. F.; Lin, I. P.; Liau, C. J. | Journal of Applied Non-Classical Logics 7, 375-395 | | | |
| 1996 | Possibilistic reasoning---A mini-survey and uniform semantics | Liau, C. J.; Lin, I. P. | Artificial Intelligence 88, 163-193 | | | |
| 1993 | Proof methods for reasoning about possibility and necessity | Liau, C. J.; Lin, I. P. | International Journal of Approximate Reasoning 9, 327-364 | | | |
| 1992 | Quantitative modal logic and possibilistic reasoning | Liau, C. J.; Lin, I. P. | | | | |
| 1993 | Reasoning about higher order uncertainty in possibilistic logic | Liau, C. J.; Lin, I. P. | | | | |
| 1986 | Vips: a Visual Programming Synthesizer | Cheng, K. Y.; Hsu, C. C.; Lu, M. C.; Hwu, M. S.; Lin, I. P. | TR-86-001 | | | |
| 1986 | Visual Programming Approach to Computer Aided Instructions | Cheng, K. Y.; Hsu, C. C.; Lin, I. P.; Hwu, M. S.; Lu, M. C. | TR-86-007 | | | |
