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. | | | | |
2006 | The Chloroplast Genome of Phalaenopsis aphrodite (Orchidaceae): Comparative Analysis of Evolutionary Rate with That of Grasses and Its Phylogenetic Implications. | Chang, C. C.; Lin, H. C.; Lin, I. P.; Chang, T. Y.; Chen, H. H.; Chen, W. H.; Cheng, C. H.; Lin, C. Y.; Liu, S. M.; Chang, C. C.; Chaw, S. M. | Molecular Biology and Evolution 23, 279 - 291 | | | |
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 | | | |