**Publications**

- (A) Edited Volumes:
- T.Y. Lin, S. Smale, T. Poggio, and
__C.J. Liau__(2004),*Proc. of the IEEE ICDM’04 Workshop on Foundations of Data Mining*. - 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*. - 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):

__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.- 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. __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).__C.J. Liau__(2004), A modal logic framework for multi-agent belief fusion,*ACM Transactions on Computational Logic*, to appear.__C.J. Liau__(2003), Belief, information acquisition, and trust in multi agent systems**—**A modal logic formulation,*Artificial Intelligence*, 149(1), 31-60.- 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. - 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. __C.J. Liau__and D.R. Liu (2001), A possibilistic decision logic with applications,*Fundamenta Informaticae*,__C.J. Liau__(2001), A logical analysis of the relationship between commitment and obligation,*Journal of Logic, Language, and Information,*10(2), 237-261.__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.__C. J. Liau__(1999), On the possibility theory-based semantics for logics of preference,*International Journal of Approximate Reasoning*, 20(2), 173-190.__C.J. Liau__(1998), Possibilistic residuated implication logics with applications,*International Journal of Uncertainty, Fuzziness and Knowledge-based Systems*, 6(4), 365-385.__C.J. Liau__(1997), Representing defaults in the framework of possibility theory,*International Journal of General Systems*, 25(4), 373-387.- 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. __C.J. Liau__(1996), An algebraic formalization of the relationship between evidential structures and data tables,*Fundamenta Informaticae*, 27(1), 57-76__C.J. Liau__and I.P. Lin (1996), Possibilistic reasoning**—**A mini-survey and uniform semantics.*Artificial Intelligence*, 88(1-2), 163-193.__C.J. Liau__and I.P. Lin (1995), A theoretical investigation into quantitative modal logic,*Fuzzy Sets and Systems*, 75(3), 355-363.__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.__C.J. Liau__and I.P. Lin (1992), Abstract minimality and circumscription,*Artificial Intelligence*, 54, 381-396.__C.J. Liau__and I.P. Lin (1991), Fuzzy term rewriting system,*Fuzzy Sets and Systems*, 44, 1-15.__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):

__C.J. Liau__(2004), Belief reasoning, revision, and fusion by matrix algebra,*Proc. of the 4*, pp.133-142, LNAI 3066.^{th}International Conference on Rough Sets and Current Trends in Computing (RSCTC)- 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*pp. 152-159, LNAI 2871.^{th}International Symposium on Methodologies for Intelligent Systems (ISMIS), __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.__C.J. Liau__(2003), An overview of hybrid possibilistic reasoning,*Proc. of the 9*, pp. 668-675, LNAI 2639.^{th}International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC)- 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*, pp. 226-233, LNAI 2475.^{rd}International Conference on Rough Sets and Current Trends in Computing (RSCTC) - 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. - 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*pp. 119-131, LNAI 2338.^{th}Canadian Conference on Artificial Intelligence (AI), - 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. - C.J. Liau and Y.Y. Yao (2001),
Information retrieval by possibilistic reasoning,
*Proc. of the 12*, pp. 52-61, LNCS 2113.^{th}International Conference on Database and Expert Systems Applications (DEXA) __C.J. Liau__(1999), Many-valued dynamic logics for qualitative decision theory,*Proc. of the 7*, pp. 294-303, LNAI 1711. (An abstract also appears in^{th}International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (RSFDGrC)*the**11*, p. 124).^{th}International Congress on Logic, Methodology and Philosophy of Science (LMPS)__C.J. Liau__and D.R. Liu (1999), A logical approach to fuzzy data analysis,*Proc. of the 3*, pp. 412-417, LNAI 1704.^{rd}European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD)__C.J. Liau__(1998), Modal reasoning and rough set theory,*Proc. of the 7*, pp. 317-330, LNAI 1480.^{th}International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA)__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.__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

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.