Page 180 - My FlipBook
P. 180
研
人 Research Fellow
員 廖純中 Churn-Jung Liau
Faculty Ph.D., Computer Science and Information Engineering,
National Taiwan University, Taiwan
T +886-2-2788-3799 ext. 1713 E liaucj@iis.sinica.edu.tw
F +886-2-2782-4814 W www.iis.sinica.edu.tw/pages/liaucj/
・ Associate Research Fellow, Institute of Information Science, Academia Sinica (1997-2004)
・ Assistant Research Fellow, Institute of Information Science, Academia Sinica (1992-1997)
・ Ph.D., Computer Science and Information Engineering, National Taiwan University (1989-
1992)
・ M.S., Computer Science and Information Engineering, National Taiwan University (1985-
1987)
・ B.S., Computer Science and Information Engineering, National Taiwan University (1981-1985)
・ Associate Editor, International Journal of Approximate Reasoning (Elsevier)
・ Editorial Board Member, Fuzzy Sets and Systems (Elsevier)
・ Editorial Board Member, Transactions on Rough Sets (Springer-Verlag)
Research Description
My research interests include symbolic logic and its diverse applications. More
speci cally, I am interested in the following subject areas:
• epistemic/doxastic logic
• deontic logic
• belief revision and fusion
• logic in arti cial intelligence
• logic in privacy and security
• reasoning about uncertainty
• modal logic
• possibilistic logic
• rough set theory
• many-valued logic
Publications
1. C. J. Liau and I. P. Lin, Abstract minimality and circumscription, 7. T.-s. Hsu, C.J. Liau, and D.W. Wang, A logical framework for
Artificial Intelligence, 54, 381-396, 1992. privacy-preserving social network publication, Journal of Applied
Logic, 12(2): 151-174, 2014
2. C. J. Liau and I. P. Lin, Possibilistic reasoning--A mini-survey
and uniform semantics, Artificial Intelligence, 88(1-2), 163-193, 8. T.F. Fan and C.J. Liau, Logical characterizations of regular
1996. equivalence in weighted social networks, Artificial Intelligence,
214:66-88, 2014
3. C.J. Liau, A logical analysis of the relationship between
commitment and obligation, Journal of Logic, Language, and 9. C.P. Su, T.F. Fan, and C.J. Liau, Possibilistic justification logic:
Information, 10(2), 237-261, 2001. Reasoning about justified uncertain beliefs, ACM Transactions on
Computational Logic, 18(2): 15:1-15:21, 2017
4. C.J. Liau, Belief, information acquisition, and trust in multi agent
systems - A modal logic formulation, Artificial Intelligence, 10. T.F. Fan and C.J. Liau, Reason-maintenance belief logic with
149(1), 31-60, 2003. uncertain information, ACM Transactions on Computational
Logic, 21(1): 3:1-3:32, 2020
5. C.J. Liau, Belief fusion and revision: An overview based on
epistemic logic semantics, Journal of Applied Non-Classical
Logics, 14(3), 247-274, 2004,
6. C.J. Liau, A modal logic framework for multi-agent belief fusion,
ACM Transactions on Computational Logic, 6(1), 124-174, 2005.
178
人 Research Fellow
員 廖純中 Churn-Jung Liau
Faculty Ph.D., Computer Science and Information Engineering,
National Taiwan University, Taiwan
T +886-2-2788-3799 ext. 1713 E liaucj@iis.sinica.edu.tw
F +886-2-2782-4814 W www.iis.sinica.edu.tw/pages/liaucj/
・ Associate Research Fellow, Institute of Information Science, Academia Sinica (1997-2004)
・ Assistant Research Fellow, Institute of Information Science, Academia Sinica (1992-1997)
・ Ph.D., Computer Science and Information Engineering, National Taiwan University (1989-
1992)
・ M.S., Computer Science and Information Engineering, National Taiwan University (1985-
1987)
・ B.S., Computer Science and Information Engineering, National Taiwan University (1981-1985)
・ Associate Editor, International Journal of Approximate Reasoning (Elsevier)
・ Editorial Board Member, Fuzzy Sets and Systems (Elsevier)
・ Editorial Board Member, Transactions on Rough Sets (Springer-Verlag)
Research Description
My research interests include symbolic logic and its diverse applications. More
speci cally, I am interested in the following subject areas:
• epistemic/doxastic logic
• deontic logic
• belief revision and fusion
• logic in arti cial intelligence
• logic in privacy and security
• reasoning about uncertainty
• modal logic
• possibilistic logic
• rough set theory
• many-valued logic
Publications
1. C. J. Liau and I. P. Lin, Abstract minimality and circumscription, 7. T.-s. Hsu, C.J. Liau, and D.W. Wang, A logical framework for
Artificial Intelligence, 54, 381-396, 1992. privacy-preserving social network publication, Journal of Applied
Logic, 12(2): 151-174, 2014
2. C. J. Liau and I. P. Lin, Possibilistic reasoning--A mini-survey
and uniform semantics, Artificial Intelligence, 88(1-2), 163-193, 8. T.F. Fan and C.J. Liau, Logical characterizations of regular
1996. equivalence in weighted social networks, Artificial Intelligence,
214:66-88, 2014
3. C.J. Liau, A logical analysis of the relationship between
commitment and obligation, Journal of Logic, Language, and 9. C.P. Su, T.F. Fan, and C.J. Liau, Possibilistic justification logic:
Information, 10(2), 237-261, 2001. Reasoning about justified uncertain beliefs, ACM Transactions on
Computational Logic, 18(2): 15:1-15:21, 2017
4. C.J. Liau, Belief, information acquisition, and trust in multi agent
systems - A modal logic formulation, Artificial Intelligence, 10. T.F. Fan and C.J. Liau, Reason-maintenance belief logic with
149(1), 31-60, 2003. uncertain information, ACM Transactions on Computational
Logic, 21(1): 3:1-3:32, 2020
5. C.J. Liau, Belief fusion and revision: An overview based on
epistemic logic semantics, Journal of Applied Non-Classical
Logics, 14(3), 247-274, 2004,
6. C.J. Liau, A modal logic framework for multi-agent belief fusion,
ACM Transactions on Computational Logic, 6(1), 124-174, 2005.
178
