Publications
 
Journal Articles
 
1. Y.R. Syau, C.J. Liau, and E.B. Lin, "Categorical structures in rough set theory and information systems," Mathematics, volume 14, number 2, pages 369, January 2026.
2. P. Howlader and C.J. Liau, "On the logical and algebraic aspects of reasoning with formal contexts," ACM Transactions on Computational Logic, volume 26, number 3, pages 1-38, July 2025.
3. Y.R. Syau, E.B. Lin, and C.J. Liau, "An order-theoretic study on formal concept analysis," Axioms, volume 12, number 12, pages 1099, December 2023.
4. C.Y. Lin and C.J. Liau, "Many-valued coalgebraic modal logic: One-step completeness and finite model property," Fuzzy Sets and Systems, volume 467, number 108564, pages 108564, September 2023.
 
 
Conference Papers
 
1. P. Howlader and C.J. Liau, "A modal logic for possibilistic reasoning with fuzzy formal contexts," to appear in 14th International Symposium on Foundations of Information and Knowledge Systems, Lecture Notes in Computer Science.
2. J.C.H. Tong, Y.F. Hsu, and C.J. Liau, "An exploring study on building affective artificial intelligence by neural-symbolic computing (Extended Abstract)," AAAI Spring Symposia 2024, March 2024.
3. C.J. Liau, "Reasoning about games with possibilistic uncertainty," Integrated Uncertainty in Knowledge Modelling and Decision Making - 10th International Symposium, IUKM 2023, volume 1, pages 49-60, November 2023.
4. C.Y. Lin and C.J. Liau:, "An inductive construction for many-valued coalgebraic modal logic," 53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL, pages 36-41, May 2023.
 
 
 
 
 
bg