Publications

• (A) Edited Volumes:
1. T.Y. Lin, S. Smale, T. Poggio, and C.J. Liau (2004), Proc. of the IEEE ICDM’04 Workshop on Foundations of Data Mining.
2. T.Y. Lin, X. Hu, S. Ohsuga, and C.J. Liau (2003), Proc. of the IEEE ICDM’03 Workshop on Foundations and New Directions in Data Mining.
3. T.Y. Lin and C.J. Liau (2002), Proc. of the PAKDD’2002 Workshop on the Foundation of Data Mining (As a special issue of Communication of IICM, Vol. 5, No. 2).

• (B) Journals (* indicates the corresponding author):

1. C.J. Liau (2004), Belief fusion and revision: An overview based on epistemic logic semantics, Journal of Applied Non-Classical Logics (Special Issue on Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources), 14(3), 247-274.
2. D.W. Wang, C.J. Liau*, and T.-s. Hsu (2004), Medical privacy protection based on granular computing, Artificial Intelligence in Medicine, 32(2), 137-149.
3. C.J. Liau (2004), Matrix representation of belief states: An algebraic semantics for belief logics, International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, to appear in 12(5).
4. C.J. Liau (2004), A modal logic framework for multi-agent belief fusion, ACM Transactions on Computational Logic, to appear.
5. C.J. Liau (2003), Belief, information acquisition, and trust in multi agent systems — A modal logic formulation, Artificial Intelligence, 149(1), 31-60.
6. Y.C. Chiang, T.-s. Hsu, S. Kuo, C.J. Liau, and D.W. Wang (2003), Preserving confidentiality when sharing medical database with the Cellsecu system, International Journal of Medical Informatics, 71, 17-23.
7. T.F. Fan, C.J. Liau*, and Y. Yao (2002), On modal and fuzzy decision logics based on rough set theory, Fundamenta Informaticae, 52(4), 323-344.
8. C.J. Liau and D.R. Liu (2001), A possibilistic decision logic with applications, Fundamenta Informaticae, 46(3), 199-217.
9. C.J. Liau (2001), A logical analysis of the relationship between commitment and obligation, Journal of Logic, Language, and Information, 10(2), 237-261.
10. C. J. Liau (2000), An overview of rough set semantics for modal and quantifier logics, International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, 8(1), 93-118.
11. C. J. Liau (1999), On the possibility theory-based semantics for logics of preference, International Journal of Approximate Reasoning, 20(2), 173-190.
12. C.J. Liau (1998), Possibilistic residuated implication logics with applications, International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, 6(4), 365-385.
13. C.J. Liau (1997), Representing defaults in the framework of possibility theory, International Journal of General Systems, 25(4), 373-387.
14. T.F. Fan, I.P. Lin and C.J. Liau* (1997), Nonmonotonic reasoning based on incomplete logic, Journal of Applied Non-Classical Logics, 7(4), 375-395.
15. C.J. Liau (1996), An algebraic formalization of the relationship between evidential structures and data tables, Fundamenta Informaticae, 27(1), 57-76
16. C.J. Liau and I.P. Lin (1996), Possibilistic reasoning — A mini-survey and uniform semantics. Artificial Intelligence, 88(1-2), 163-193.
17. C.J. Liau and I.P. Lin (1995), A theoretical investigation into quantitative modal logic, Fuzzy Sets and Systems, 75(3), 355-363.
18. C.J. Liau and I.P. Lin (1993), Proof methods for reasoning about possibility and necessity, International Journal of Approximate Reasoning, 9(4), 327-364.
19. C.J. Liau and I.P. Lin (1992), Abstract minimality and circumscription, Artificial Intelligence, 54, 381-396.
20. C.J. Liau and I.P. Lin (1991), Fuzzy term rewriting system, Fuzzy Sets and Systems, 44, 1-15.
21. C.J. Liau and I.P. Lin (1988), Fuzzy logic with equality, International Journal of Pattern Recognition and Artificial Intelligence, 2(2), 351-365.

• (C) Springer-Verlag LNCS/LNAI series (* indicates the corresponding author):

1. C.J. Liau (2004), Belief reasoning, revision, and fusion by matrix algebra, Proc. of the 4^th International Conference on Rough Sets and Current Trends in Computing (RSCTC), pp.133-142, LNAI 3066.
2. Y. Yao, C.J. Liau, and N. Zhong (2003), Granular computing based on rough sets, quotient space theory, and belief functions, Proc. of The 14^th International Symposium on Methodologies for Intelligent Systems (ISMIS), pp. 152-159, LNAI 2871.
3. C.J. Liau (2003), Epistemic logics for information fusion, Proc. of the 7^th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), pp. 489-501, LNAI 2711.
4. C.J. Liau (2003), An overview of hybrid possibilistic reasoning, Proc. of the 9^th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC), pp. 668-675, LNAI 2639.
5. Y.T. Chiang, Y.C. Chiang, T.-s. Hsu, C.J. Liau, and D.W. Wang (2002), How much privacy? - A system to safe guard personal privacy while releasing database, Proc. of the 3^rd International Conference on Rough Sets and Current Trends in Computing (RSCTC), pp. 226-233, LNAI 2475.
6. T.-s. Hsu, C.J. Liau*, D.W. Wang, and J.K.-P. Chen (2002), Quantifying privacy leakage through answering database queries, Proc. of the 5^th International Conference on Information Security (ISC), pp. 162-175, LNCS 2433.
7. G.S. Huang, X. Jia, C.J. Liau, and J.H. You (2002), Two-literal logic programs and satisfiability representation of stable models: A comparison, Proc. of the 15^th Canadian Conference on Artificial Intelligence (AI), pp. 119-131, LNAI 2338.
8. T.S. Hsu, C.J. Liau*, and D.W. Wang (2001), A logical model for privacy protection, Proc. of the 4^th International Conference on Information Security (ISC), pp. 110-124, LNCS 2200.
9. C.J. Liau and Y.Y. Yao (2001), Information retrieval by possibilistic reasoning, Proc. of the 12^th International Conference on Database and Expert Systems Applications (DEXA), pp. 52-61, LNCS 2113.
10. C.J. Liau (1999), Many-valued dynamic logics for qualitative decision theory, Proc. of the 7^th International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (RSFDGrC), pp. 294-303, LNAI 1711. (An abstract also appears in the 11^th International Congress on Logic, Methodology and Philosophy of Science (LMPS), p. 124).
11. C.J. Liau and D.R. Liu (1999), A logical approach to fuzzy data analysis, Proc. of the 3^rd European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD), pp. 412-417, LNAI 1704.
12. C.J. Liau (1998), Modal reasoning and rough set theory, Proc. of the 7^th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA), pp. 317-330, LNAI 1480.
13. C.J. Liau and I.P. Lin (1994), Gentzen sequent calculus for possibilistic reasoning, In M. Masuch and L. Polos (Eds.) Knowledge Representation and Reasoning under Uncertainty, pp.31-40, LNAI 808.
14. C.J. Liau and I.P. Lin (1993), Reasoning about higher order uncertainty in possibilistic logic, Proc. of The 7th International Symposium on Methodologies for Intelligent Systems (ISMIS), pp.316-325, LNAI 689.

• (D) Conferences or Workshops (* indicates the corresponding author):

1. T.F. Fan, D.R. Liu, and C.J. Liau (2004), Data mining and hypothesis selection, Proc. of the 34th International Conference on Computers and Industrial Engineering, to appear.

2. D.W. Wang, C.J. Liau*, T.-s. Hsu, and J.K.-P. Chen (2004), On the damage and compensation of privacy leakage, Proc. of the 18th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, pp. 311-324.

3. T.F. Fan, C.J. Liau*, and D.R. Liu (2003), Logical fuzzy decision trees, Proc. of the IEEE ICDM’03 Workshop on Foundations and New Directions in Data Mining, pp. 49-55.

4. C.J. Liau (2003), A tableau system for information fusion logic, Proc. of the ECSQARU’03 Workshop on Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources, pp. 2-11.

5. C.J. Liau (2003), An epistemic logic for arbitration (Poster abstract), Proc. of the 18^th International Joint Conference on Artificial Intelligence, pp. 1402-1403.

6. T.F. Fan and C.J. Liau* (2002), The justification problem of data mining — A decision logic formulation and its implications, Proc. of the IEEE ICDM’2002 Workshop on the Foundation of Data Mining and Knowledge Discovery, pp. 113-118.

7. Y. Yao and C.J. Liau (2002), A generalized decision logic language for granular computing. Proceedings of the 11^th IEEE International Conference on Fuzzy Systems, pp.773-778, IEEE Press.

8. T.F. Fan, C.J. Liau*, and Y. Yao (2002), On modal decision logics, Proc. of the PAKDD’2002 Workshop on the Foundation of Data Mining, pp. 21-26.

9. T.F. Fan, W.C. Hu, and C.J. Liau* (2001), Decision logics for knowledge representation in data mining, Proc. of the 25^th IEEE Annual International Computer Software and Applications Conference, pp. 626-631.

10. C.J. Liau (2001), Hybrid logic for possibilistic reasoning, Proc. of the Joint 9^th IFSA World Congress and 20^th NAFIPS International Conference, pp.1523-1528.

11. R. Demolombe and C.J. Liau* (2001), A logic of graded trust and belief fusion, Proc. of the 4^th Workshop on Deception, Fraud and Trust in Agent Societies, pp. 13-25.

12. C.J. Liau (2000), Logical systems for reasoning about multi-agent belief, information acquisition, and trust, Proc. of the 14^th European Conference on Artificial Intelligence, pp.368-372.

13. C.J. Liau (2000), A conservative approach to distributed belief fusion, Proc. of the 3^rd International Conference on Information Fusion, MoD4-1.

14. C. J. Liau (1998), A logic for reasoning about action, preference, and commitment, Proc. of the 13^th European Conference on Artificial Intelligence, pp.552-556.

15. C.J. Liau (1998), A logic for reasoning about fuzzy truth values, Proceedings of the 7^th IEEE International Conference on Fuzzy Systems, pp.903-908.

16. C.J. Liau (1998), On rough quantifiers, Proc. of the 14^th European Meetings on Cybernetics and Systems Research (EMCSR), pp.175-180.

17. C.J. Liau (1997), A semantics for logics of preference based on possibility theory, Proc. of the 7^th IFSA, Vol. I, pp.243-248.

18. T.Y. Lin and C.J. Liau* (1997), Belief functions based on probabilistic multi-valued random variables, Proc. of the 5^th International Workshop on Rough Sets and Soft Computing, pp. 269-272.

19. T.Y. Lin and C.J. Liau (1997), Probabilistic multi-valued random variables — belief functions and granular computing, Proc. of the 5^th European Congress on Intelligent Techniques and Soft Computing (EUFIT ‘97), 221-225.

20. C.J. Liau (1996), On rough terminological logics, Proc. of the 4^th International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery, pp. 47-54.

21. C.J. Liau (1996), Possibilistic residuated implication logics and applications, Proc. of the 6^th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), pp. 935-940.

22. C.J. Liau (1995), Belief function semantics for comparative confirmation (abstract), Proc. of the 10^th International Congress on Logic, Methodology, and Philosophy of Science, p. 277.

23. C.J. Liau (1995), On the relationship between evidential structures and data tables, Proc. of the 2^nd World Conference on the Fundamentals of Artificial Intelligence, pp. 205-216.

24. C.J. Liau and I.P. Lin (1995), A logic for conditional possibility, Proc. of the 1^st ICSC international Symposium on Fuzzy Logic, pp. A83-90.

25. C.J. Liau (1994), Representing priorities of defaults in possibility theory, Proc. of the 3^rd IEEE International Conference on Fuzzy Systems, pp. 1280-1284.

26. C.J. Liau (1994), Application schemes of possibility theory-based defaults, Proc. of the 12^th European Meetings on Cybernetics and Systems Research (EMCSR), pp.343-350.

27. C.J. Liau and I.P. Lin (1992), Quantitative modal logic and possibilistic reasoning, Proc. of the 10^th European Conference on Artificial Intelligence, pp. 43-47.