Churn-Jung Liau

133 papers A* 3A 6B 14C 10Misc 11Journal 54Unranked 27
YearRankTypeTitle / Venue / Authors
2026 — conf
A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts.
FoIKS
Prosenjit Howlader, Churn-Jung Liau
2025 J jnl
A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts.
CoRR
Prosenjit Howlader, Churn-Jung Liau
2025 J jnl
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts.
ACM Trans. Comput. Log.
Prosenjit Howlader, Churn-Jung Liau
2024 — conf
An Exploring Study on Building Affective Artificial Intelligence by Neural-Symbolic Computing (Extended Abstract).
AAAI Spring Symposia
Jonathan C. H. Tong, Yung-Fong Hsu, Churn-Jung Liau
2023 — conf
An Inductive Construction for Many-Valued Coalgebraic Modal Logic.
ISMVL
Chun-Yu Lin, Churn-Jung Liau
2023 J jnl
An Order-Theoretic Study on Formal Concept Analysis.
Axioms
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
2023 J jnl
Many-valued coalgebraic modal logic: One-step completeness and finite model property.
Fuzzy Sets Syst.
Chun-Yu Lin, Churn-Jung Liau
2023 — conf
Reasoning About Games with Possibilistic Uncertainty.
IUKM (1)
Churn-Jung Liau
2023 — conf
Two-Sorted Modal Logic for Formal and Rough Concepts.
IJCRS
Prosenjit Howlader, Churn-Jung Liau
2022 J jnl
A Note on Categories about Rough Sets.
CoRR
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
2022 J jnl
An Inductive Construction for Many-Valued Coalgebraic Modal Logic.
CoRR
Chun-Yu Lin, Churn-Jung Liau
2021 J jnl
On Variable Precision Generalized Rough Sets and Incomplete Decision Tables.
Fundam. Informaticae
Yu-Ru Syau, Churn-Jung Liau, En-Bing Lin
2020 J jnl
Fuzzy Binary Rough Set.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
2020 J jnl
On Coalgebraic Many-Valued Modal Logic.
CoRR
Chun-Yu Lin, Churn-Jung Liau
2020 J jnl
On consistent functions for neighborhood systems.
Int. J. Approx. Reason.
Churn-Jung Liau, En-Bing Lin, Yu-Ru Syau
2020 J jnl
Reason-maintenance Belief Logic with Uncertain Information.
ACM Trans. Comput. Log.
Tuan-Fang Fan, Churn-Jung Liau
2019 — conf
Logics of Dominance for Reasoning About Multi-criteria Decisions.
IUKM
Tuan-Fang Fan, Churn-Jung Liau
2018 — conf
A comparative study on algorithms for influence maximization in social networks.
GECCO (Companion)
Yu-Hsiang Chung, Tuan-Fang Fan, Churn-Jung Liau
2018 J jnl
Neighborhood Systems: Rough Set Approximations and Definability.
Fundam. Informaticae
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
2018 — conf
Possibilistic Reasoning About Actions in Agent Systems.
COMPSAC (1)
Tuan-Fang Fan, Churn-Jung Liau
2017 B conf
A logic for reasoning about evidence and belief.
WI
Tuan-Fang Fan, Churn-Jung Liau
2017 A conf
Doxastic Reasoning with Multi-Source Justifications based on Second Order Propositional Modal Logic.
AAMAS
Tuan-Fang Fan, Churn-Jung Liau
2017 J jnl
Neighborhood Systems and Variable Precision Generalized Rough Sets.
Fundam. Informaticae
Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau
2017 J jnl
Possibilistic Justification Logic: Reasoning About Justified Uncertain Beliefs.
ACM Trans. Comput. Log.
Che-Ping Su, Tuan-Fang Fan, Churn-Jung Liau
2016 A conf
Reasoning About Belief and Evidence with Extended Justification Logic.
ECAI
Tuan-Fang Fan, Churn-Jung Liau
2016 B conf
Reasoning About Justified Belief Based on the Fusion of Evidence.
JELIA
Tuan-Fang Fan, Churn-Jung Liau
2016 B conf
Rough set-based concept mining from social networks.
FUZZ-IEEE
Tuan-Fang Fan, Churn-Jung Liau
2016 C conf
Social Network Clustering by Using Genetic Algorithm: A Case Study.
IEA/AIE
Ming-Feng Tsai, Chun-Yi Lu, Churn-Jung Liau, Tuan-Fang Fan
2015 A* conf
A Logic for Reasoning about Justified Uncertain Beliefs.
IJCAI
Tuan-Fang Fan, Churn-Jung Liau
2015 J jnl
A Uniform Framework for Rough Approximations Based on Generalized Quantifiers.
Trans. Rough Sets
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2015 — conf
Designing a Tag-Based Statistical Math Word Problem Solver with Reasoning and Explanation.
ROCLING
Chien-Tsung Huang, Yi-Chung Lin, Chao-Chun Liang, Kuang-Yi Hsu, Shen-Yun Miao, Wei-Yun Ma, Lun-Wei Ku, Churn-Jung Liau, Keh-Yih Su
2015 J jnl
Designing a Tag-Based Statistical Math Word Problem Solver with Reasoning and Explanation.
Int. J. Comput. Linguistics Chin. Lang. Process.
Yi-Chung Lin, Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Shen-Yun Miao, Wei-Yun Ma, Lun-Wei Ku, Churn-Jung Liau, Keh-Yih Su
2014 J jnl
A logical framework for privacy-preserving social network publication.
J. Appl. Log.
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2014 — conf
An Information-Theoretic Approach for Secure Protocol Composition.
SecureComm (1)
Yi-Ting Chiang, Tsan-sheng Hsu, Churn-Jung Liau, Yun-Ching Liu, Chih-Hao Shen, Da-Wei Wang, Justin Zhan
2014 J jnl
Logical characterizations of regular equivalence in weighted social networks.
Artif. Intell.
Tuan-Fang Fan, Churn-Jung Liau
2013 — conf
A Scripting Language for Automating Secure Multiparty Computation.
AsiaJCIS
Kung Chen, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2013 B conf
Floating Point Arithmetic Protocols for Constructing Secure Data Analysis Application.
KES
Yun-Ching Liu, Yi-Ting Chiang, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2013 B conf
Logical Analysis of Weighted Social Networks - An Extended Abstract.
COMPSAC
Tuan-Fang Fan, Churn-Jung Liau
2013 C conf
Many-Valued Modal Logic and Regular Equivalences in Weighted Social Networks.
ECSQARU
Tuan-Fang Fan, Churn-Jung Liau
2013 — conf
Privacy-Preserving Social Network Publication Based on Positional Indiscernibility.
SUM
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2013 J jnl
Variable consistency and variable precision models for dominance-based fuzzy rough set analysis of possibilistic information systems.
Int. J. Gen. Syst.
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2012 — conf
A Probabilistic Hybrid Logic for Sanitized Information Systems.
SUM
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2012 J jnl
Integration of fuzzy cluster analysis and kernel density estimation for tracking typhoon trajectories in the Taiwan region.
Expert Syst. Appl.
Hone-Jay Chu, Churn-Jung Liau, Chao-Hung Lin, Bo-Song Su
2012 — conf
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements.
Turing-100
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2012 J jnl
Multicriteria fuzzy decision making based on interval-valued intuitionistic fuzzy sets.
Expert Syst. Appl.
Shyi-Ming Chen, Ming-Wey Yang, Szu-Wei Yang, Tian-Wei Sheu, Churn-Jung Liau
2012 C conf
Variable Precision Fuzzy Rough Set Based on Relative Cardinality.
FedCSIS
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2011 J jnl
A Logical Formulation of Rough Set Definability.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2011 Misc conf
A new method for multicriteria fuzzy decision making based on ranking interval-valued intuitionistic fuzzy values.
ICMLC
Shyi-Ming Chen, Ming-Wey Yang, Churn-Jung Liau
2011 J jnl
A relational perspective of attribute reduction in rough set-based data analysis.
Eur. J. Oper. Res.
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2011 — conf
Dominance-Based Rough Set Approach for Possibilistic Information Systems.
RSFDGrC
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2011 J jnl
Dominance-based fuzzy rough set analysis of uncertain and possibilistic data tables.
Int. J. Approx. Reason.
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2010 Misc conf
A Summary and Update of Social Networks and Granular Computing.
GrC
Churn-Jung Liau
2010 J jnl
A logical formulation of the granular data model.
Int. J. Granul. Comput. Rough Sets Intell. Syst.
Tuan-Fang Fan, Churn-Jung Liau, Tsau-Young Lin, Karen Lee
2010 B conf
Constraint-based attribute reduction in rough set analysis.
SMC
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2010 — ch.
Granular Computing and Rough Sets - An Incremental Development.
Data Mining and Knowledge Discovery Handbook
Tsau Young Lin, Churn-Jung Liau
2010 Misc conf
Heterogeneous Subset Sampling.
COCOON
Meng-Tsung Tsai, Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2010 J jnl
Privacy-Preserving Collaborative Recommender Systems.
IEEE Trans. Syst. Man Cybern. Part C
Justin Zhan, Chia-Lung Hsieh, I-Cheng Wang, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2009 — conf
An Empirical Study on Privacy and Secure Multi-party Computation Using Exponentiation.
CSE (3)
I-Cheng Wang, Chih-Hao Shen, Kung Chen, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2009 — conf
Dominance-based Rough Set Analysis for Uncertain Data Tables.
IFSA/EUSFLAT Conf.
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2009 J jnl
Mining the change of event trends for decision support in environmental scanning.
Expert Syst. Appl.
Duen-Ren Liu, Meng-Jung Shih, Churn-Jung Liau, Chin-Hui Lai
2009 — ch.
Social Networks and Granular Computing.
Encyclopedia of Complexity and Systems Science
Churn-Jung Liau
2009 J jnl
Toward Empirical Aspects of Secure Scalar Product.
IEEE Trans. Syst. Man Cybern. Part C
I-Cheng Wang, Chih-Hao Shen, Justin Zhan, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2008 — ch.
A Bipolar Interpretation of Fuzzy Decision Trees.
Data Mining: Foundations and Practice
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2008 — conf
A Logical Formulation of the Granular Data Model.
ICDM Workshops
Tuan-Fang Fan, Churn-Jung Liau, Tsau Young Lin, Karen Lee
2008 J jnl
A theoretical investigation of regular equivalences for fuzzy graphs.
Int. J. Approx. Reason.
Tuan-Fang Fan, Churn-Jung Liau, Tsau Young Lin
2008 — book
Data Mining: Foundations and Practice
Data Mining: Foundations and Practice
Tsau Young Lin, Ying Xie, Anita Wasilewska, Churn-Jung Liau
2008 A conf
Definability in Logic and Rough Set Theory.
ECAI
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
2008 J jnl
Fuzzy Interpolative Reasoning for Sparse Fuzzy-Rule-Based Systems Based on the Areas of Fuzzy Sets.
IEEE Trans. Fuzzy Syst.
Yu-Chuan Chang, Shyi-Ming Chen, Churn-Jung Liau
2008 Misc conf
Logical Definability in Social Position Analysis.
GrC
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2008 J jnl
Multilabel text categorization based on a new linear classifier learning method and a category-sensitive refinement method.
Expert Syst. Appl.
Yu-Chuan Chang, Shyi-Ming Chen, Churn-Jung Liau
2008 Misc conf
Scalar-product based Secure Two-party Computation.
GrC
Chih-Hao Shen, Justin Zhan, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2008 Misc conf
Towards Efficient Privacy-preserving Collaborative Recommender Systems.
GrC
Justin Zhan, I-Cheng Wang, Chia-Lung Hsieh, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2007 B conf
A new fuzzy interpolative reasoning method based on the areas of fuzzy sets.
SMC
Yu-Chuan Chang, Shyi-Ming Chen, Churn-Jung Liau
2007 J jnl
An epistemic framework for privacy protection in database linking.
Data Knowl. Eng.
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2007 J jnl
Granulation as a Privacy Protection Mechanism.
Trans. Rough Sets
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2007 Misc conf
Positional Analysis in Fuzzy Social Networks.
GrC
Tuan-Fang Fan, Churn-Jung Liau, Tsau Young Lin
2006 — conf
A GrC-Based Approach to Social Network Data Protection.
RSCTC
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2006 C conf
A New Inductive Learning Method for Multilabel Text Categorization.
IEA/AIE
Yu-Chuan Chang, Shyi-Ming Chen, Churn-Jung Liau
2006 Misc conf
Attribute-oriented Granulation for Privacy Protection.
GrC
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2006 — book
Foundations and Novel Approaches in Data Mining
Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu
2006 B conf
Granulation Based on Hybrid Infornation Systems.
SMC
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu, Gwo-Hshiung Tzeng
2006 B conf
Information Theoretical Analysis of Two-Party Secret Computation.
DBSec
Da-Wei Wang, Churn-Jung Liau, Yi-Ting Chiang, Tsan-sheng Hsu
2006 B conf
Privacy Protection in Social Network Data Disclosure Based on Granular Computing.
FUZZ-IEEE
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2006 J jnl
Value versus damage of information release: A data privacy perspective.
Int. J. Approx. Reason.
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu, Jeremy K.-P. Chen
2005 A* conf
A Modal Logic for Reasoning about Possibilistic Belief Fusion.
IJCAI
Churn-Jung Liau, Tuan-Fang Fan
2005 J jnl
A modal logic framework for multi-agent belief fusion.
ACM Trans. Comput. Log.
Churn-Jung Liau
2005 — book
Foundations of Data Mining and knowledge Discovery
Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu, Shusaku Tsumoto
2005 — ch.
Granular Computing and Rough Sets.
The Data Mining and Knowledge Discovery Handbook
Tsau Young Lin, Churn-Jung Liau
2005 — ch.
Justification and Hypothesis Selection in Data Mining.
Foundations of Data Mining and knowledge Discovery
Tuan-Fang Fan, Duen-Ren Liu, Churn-Jung Liau
2005 — conf
Ordered Belief Fusion in Possibilistic Logic.
RSFDGrC (1)
Churn-Jung Liau
2005 Misc conf
Reasoning about relational granulation in modal logics.
GrC
Churn-Jung Liau, T. Y. Lin
2005 B conf
Secrecy of Two-Party Secure Computation.
DBSec
Yi-Ting Chiang, Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2004 J jnl
Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics.
J. Appl. Non Class. Logics
Churn-Jung Liau
2004 — conf
Belief Reasoning, Revision and Fusion by Matrix Algebra.
Rough Sets and Current Trends in Computing
Churn-Jung Liau
2004 J jnl
Matrix Representation Of Belief States: An Algebraic Semantics For Belief Logics.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Churn-Jung Liau
2004 J jnl
Medical privacy protection based on granular computing.
Artif. Intell. Medicine
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu
2004 — conf
Mining the Change of Events in Environmental Scanning for Decision Support.
ICEB
Meng-Jung Shih, Duen-Ren Liu, Churn-Jung Liau, Chin-Hui Lai
2004 B conf
On The Damage and Compensation of Privacy Leakage.
DBSec
Da-Wei Wang, Churn-Jung Liau, Tsan-sheng Hsu, Jeremy K.-P. Chen
2003 A* conf
An Epistemic Logic for Arbitration (Extended Abstract).
IJCAI
Churn-Jung Liau
2003 — conf
An Overview of Hybrid Possibilistic Reasoning.
RSFDGrC
Churn-Jung Liau
2003 J jnl
Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation.
Artif. Intell.
Churn-Jung Liau
2003 C conf
Epistemic Logics for Information Fusion.
ECSQARU
Churn-Jung Liau
2003 C conf
Granular Computing Based on Rough Sets, Quotient Space Theory, and Belief Functions.
ISMIS
Y. Y. Yao, Churn-Jung Liau, Ning Zhong
2003 J jnl
Preserving confidentiality when sharing medical database with the Cellsecu system.
Int. J. Medical Informatics
Yu-Cheng Chiang, Tsan-sheng Hsu, Sun Kuo, Churn-Jung Liau, Da-Wei Wang
2002 J jnl
A Modal Logic Framework for Multi-agent Belief Fusion
CoRR
Churn-Jung Liau
2002 B conf
A generalized decision logic language for granular computing.
FUZZ-IEEE
Y. Y. Yao, Churn-Jung Liau
2002 — conf
How Much Privacy? - A System to Safe Guard Personal Privacy while Releasing Databases.
Rough Sets and Current Trends in Computing
Yi-Ting Chiang, Yu-Cheng Chiang, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2002 J jnl
On Modal and Fuzzy Decision Logics Based on Rough Set Theory.
Fundam. Informaticae
Tuan-Fang Fan, Churn-Jung Liau, Yiyu Yao
2002 C conf
Quantifying Privacy Leakage through Answering Database Queries.
ISC
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang, Jeremy K.-P. Chen
2002 Misc conf
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.
AI
Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You
2001 J jnl
A Logical Analysis of the Relationship between Commitment and Obligation.
J. Log. Lang. Inf.
Churn-Jung Liau
2001 C conf
A Logical Model for Privacy Protection.
ISC
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
2001 J jnl
A Possibilistic Decision Logic with Applications.
Fundam. Informaticae
Churn-Jung Liau, Duen-Ren Liu
2001 B conf
Decision Logics for Knowledge Representation in Data Mining.
COMPSAC
Tuan-Fang Fan, Wu-Chih Hu, Churn-Jung Liau
2001 C conf
Information Retrieval by Possibilistic Reasoning.
DEXA
Churn-Jung Liau, Y. Y. Yao
2000 J jnl
An Overview of Rough Set Semantics for Modal and Quantifier Logics.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Churn-Jung Liau
2000 A conf
Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust.
ECAI
Churn-Jung Liau
1999 — conf
A Logical Approach to Fuzzy Data Analysis.
PKDD
Churn-Jung Liau, Duen-Ren Liu
1999 — conf
Many-Valued Dynamic Logic for Qualitative Decision Theory.
RSFDGrC
Churn-Jung Liau
1999 J jnl
On the possibility theory-based semantics for logics of preference.
Int. J. Approx. Reason.
Churn-Jung Liau
1998 A conf
A Logic for Reasoning about Action, Preference, and Commitment.
ECAI
Churn-Jung Liau
1998 Misc conf
Modal Reasoning and Rough Set Theory.
AIMSA
Churn-Jung Liau
1998 J jnl
Possibilistic Residuated Implication Logics with Applications.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Churn-Jung Liau
1997 J jnl
Nonmonotonic Reasoning Based on Incomplete Logic.
J. Appl. Non Class. Logics
Tuan-Fang Fan, Bertrand I-Peng Lin, Churn-Jung Liau
1996 J jnl
An Algebraic Formalization of the Relationship between Evidential Structures and Data Tables.
Fundam. Informaticae
Churn-Jung Liau
1996 J jnl
Possibilistic Reasoning - A Mini-Survey and Uniform Semantics.
Artif. Intell.
Churn-Jung Liau, Bertrand I-Peng Lin
1995 J jnl
A theoretical investigation into quantitative modal logic.
Fuzzy Sets Syst.
Churn-Jung Liau, Bertrand I-Peng Lin
1993 J jnl
Proof methods for reasoning about possibility and necessity.
Int. J. Approx. Reason.
Churn-Jung Liau, Bertrand I-Peng Lin
1993 C conf
Reasoning about Higher Order Uncertainty in Possiblistic Logic.
ISMIS
Churn-Jung Liau, Bertrand I-Peng Lin
1992 J jnl
Abstract Minimality and Circumscription.
Artif. Intell.
Churn-Jung Liau, Bertrand I-Peng Lin
1992 — conf
Gentzen Sequent Calculus for Possibilistic Reasoning.
Logic at Work
Churn-Jung Liau, Bertrand I-Peng Lin
1992 A conf
Quantitative Modal Logic and Possibilistic Reasoning.
ECAI
Churn-Jung Liau, Bertrand I-Peng Lin
1988 J jnl
Fuzzy Logic with Equality.
Int. J. Pattern Recognit. Artif. Intell.
Churn-Jung Liau, Bertrand I-Peng Lin