Page 85 - 2017 Brochure
P. 85
究員
廖純中 Liau, Churn-Jung
Research Fellow
Ph.D., CSIE , National Taiwan University
Tel: +886-2-2788-3799 ext. 1713 Fax: +886-2-2782-4814
Email: liaucj@iis.sinica.edu.tw
http://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, LNCS Transactions on Rough Sets (Springer-Verlag)
Research Description
My research interests include applied logic and reasoning about
uncertainty. In particular, I am interested in the following subject
areas:
• applied logic
• epistemic/doxastic logic
• deontic logic
• belief revision and fusion
• logic in artificial intelligence
• logic in privacy and security
• reasoning about uncertainty
• modal logic
• possibilistic logic
• rough set theory
• many-valued logic.
Publications 9. T.F. Fan and C.J. Liau, “Logical characterizations of regular
equivalence in weighted social networks” Artificial Intelligence, 214:
1. C. J. Liau and I. P. Lin, “Abstract minimality and circumscription,” 66-88 , 2014
Artificial Intelligence, 54, 381-396, 1992.
10. T.F. Fan and C.J. Liau, “A logic for reasoning about justified uncertain
2. C. J. Liau and I. P. Lin, “Proof methods for reasoning about possibility beliefs” IJCAI 2015: 2948-2954
and necessity,” International Journal of Approximate Reasoning, 9(4),
327-364, 1993.
3. C. J. Liau and I. P. Lin, “Possibilistic reasoning--A mini-survey and
uniform semantics,” Artificial Intelligence, 88(1-2), 163-193, 1996.
4. C.J. Liau, A logical analysis of the relationship between commitment
and obligation, Journal of Logic, Language, and Information, 10(2),
237-261, 2001.
5. C.J. Liau, Belief, information acquisition, and trust in multi agent
systems - A modal logic formulation, Artificial Intelligence, 149(1),
31-60, 2003.
6. 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,
7. C.J. Liau, A modal logic framework for multi-agent belief fusion,
ACM Transactions on Computational Logic, 6(1), 124-174, 2005.
8. T.-s. Hsu, C.J. Liau, and D.W. Wang, “A logical framework for
privacy-preserving social network publication”, Journal of Applied
Logic 12(2): 151-174 , 2014
83
廖純中 Liau, Churn-Jung
Research Fellow
Ph.D., CSIE , National Taiwan University
Tel: +886-2-2788-3799 ext. 1713 Fax: +886-2-2782-4814
Email: liaucj@iis.sinica.edu.tw
http://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, LNCS Transactions on Rough Sets (Springer-Verlag)
Research Description
My research interests include applied logic and reasoning about
uncertainty. In particular, I am interested in the following subject
areas:
• applied logic
• epistemic/doxastic logic
• deontic logic
• belief revision and fusion
• logic in artificial intelligence
• logic in privacy and security
• reasoning about uncertainty
• modal logic
• possibilistic logic
• rough set theory
• many-valued logic.
Publications 9. T.F. Fan and C.J. Liau, “Logical characterizations of regular
equivalence in weighted social networks” Artificial Intelligence, 214:
1. C. J. Liau and I. P. Lin, “Abstract minimality and circumscription,” 66-88 , 2014
Artificial Intelligence, 54, 381-396, 1992.
10. T.F. Fan and C.J. Liau, “A logic for reasoning about justified uncertain
2. C. J. Liau and I. P. Lin, “Proof methods for reasoning about possibility beliefs” IJCAI 2015: 2948-2954
and necessity,” International Journal of Approximate Reasoning, 9(4),
327-364, 1993.
3. C. J. Liau and I. P. Lin, “Possibilistic reasoning--A mini-survey and
uniform semantics,” Artificial Intelligence, 88(1-2), 163-193, 1996.
4. C.J. Liau, A logical analysis of the relationship between commitment
and obligation, Journal of Logic, Language, and Information, 10(2),
237-261, 2001.
5. C.J. Liau, Belief, information acquisition, and trust in multi agent
systems - A modal logic formulation, Artificial Intelligence, 149(1),
31-60, 2003.
6. 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,
7. C.J. Liau, A modal logic framework for multi-agent belief fusion,
ACM Transactions on Computational Logic, 6(1), 124-174, 2005.
8. T.-s. Hsu, C.J. Liau, and D.W. Wang, “A logical framework for
privacy-preserving social network publication”, Journal of Applied
Logic 12(2): 151-174 , 2014
83
