Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Liau, Churn-Jung
72  Ergebnisse:
Personensuche X
?
1

An Inductive Construction for Many-Valued Coalgebraic Modal..:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Lin, Chun-Yu ; Liau, Churn-Jung - p. 36-41 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Many-valued coalgebraic modal logic: One-step completeness ..:

Lin, Chun-Yu ; Liau, Churn-Jung
Fuzzy Sets and Systems.  467 (2023)  - p. 108564 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Two-Sorted Modal Logic for Formal and Rough Concepts:

, In: Rough Sets; Lecture Notes in Computer Science,
Howlader, Prosenjit ; Liau, Churn-Jung - p. 154-169 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Reasoning About Games with Possibilistic Uncertainty:

, In: Lecture Notes in Computer Science; Integrated Uncertainty in Knowledge Modelling and Decision Making,
Liau, Churn-Jung - p. 49-60 , 2023
Link: https://doi.org/10.1007/..
 
?
5

An Order-Theoretic Study on Formal Concept Analysis:

Syau, Yu-Ru ; Lin, En-Bing ; Liau, Churn-Jung
Axioms.  12 (2023)  12 - p. 1099 , 2023
Link: https://doi.org/10.3390/..
 
?
6

On consistent functions for neighborhood systems:

Liau, Churn-Jung ; Lin, En-Bing ; Syau, Yu-Ru
International Journal of Approximate Reasoning.  121 (2020)  - p. 39-58 , 2020
Link: https://doi.org/10.1016/..
 
?
7

Reason-maintenance Belief Logic with Uncertain Information:

Fan, Tuan-Fang ; Liau, Churn-Jung
ACM Transactions on Computational Logic (TOCL).  21 (2019)  1 - p. 1-32 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Reason-maintenance Belief Logic with Uncertain Information:

Fan, Tuan-Fang ; Liau, Churn-Jung
ACM Transactions on Computational Logic.  21 (2019)  1 - p. 1-32 , 2019
Link: https://doi.org/10.1145/..
 
?
9

Logics of Dominance for Reasoning About Multi-criteria Deci..:

, In: Lecture Notes in Computer Science; Integrated Uncertainty in Knowledge Modelling and Decision Making,
Fan, Tuan-Fang ; Liau, Churn-Jung - p. 50-62 , 2019
Link: https://doi.org/10.1007/..
 
?
10

A comparative study on algorithms for influence maximizatio..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference Companion,
Chung, Yu-Hsiang ; Fan, Tuan-Fang ; Liau, Churn-Jung - p. 231-232 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

Possibilistic Justification Logic: Reasoning About Justifie..:

Su, Che-Ping ; Fan, Tuan-Fang ; Liau, Churn-Jung
ACM Transactions on Computational Logic.  18 (2017)  2 - p. 1-21 , 2017
Link: https://doi.org/10.1145/..
 
?
12

Possibilistic Justification Logic : Reasoning About Just..:

Su, Che-Ping ; Fan, Tuan-Fang ; Liau, Churn-Jung
ACM Transactions on Computational Logic (TOCL).  18 (2017)  2 - p. 1-21 , 2017
Link: https://dl.acm.org/doi/1..
 
?
13

Doxastic Reasoning with Multi-Source Justifications based o..:

, In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems,
Fan, Tuan-Fang ; Liau, Churn-Jung - p. 1529-1531 , 2017
Link: https://dl.acm.org/doi/1..
 
?
14

A logic for reasoning about evidence and belief:

, In: Proceedings of the International Conference on Web Intelligence,
Fan, Tuan-Fang ; Liau, Churn-Jung - p. 509-516 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

A logical framework for privacy-preserving social network p..:

Hsu, Tsan-sheng ; Liau, Churn-Jung ; Wang, Da-Wei
Journal of Applied Logic.  12 (2014)  2 - p. 151-174 , 2014
Link: https://doi.org/10.1016/..
 
1-15