default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd AILA 2022: Shanghai, China
- Yixiang Chen
, Songmao Zhang:
Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings. Communications in Computer and Information Science 1657, Springer 2022, ISBN 978-981-19-7509-7
Program Logic
- Yu Chen, Xiaoyu Zhang, Jianwen Li:
Finite Quantified Linear Temporal Logic and Its Satisfiability Checking. 3-18 - Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen:
Quantitative BAN Logic Based on Belief Degree. 19-34 - Bang Chen, Maonian Wu, Bo Zheng, Shaojun Zhu, Wei Peng:
Predicate Logic Network: Vision Concept Formation. 35-48 - Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan:
Approximate Simulation for Transition Systems with Regular Expressions. 49-62 - Yiming Tang, Jianghui Han, Guangqing Bao, Rui Chen:
On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm. 63-76
Fuzzy Logic
- Tie Hou, Nan Li, Yanfang Wang, Kuo Pang, Li Zou:
(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic. 79-90 - Yiming Tang, Rui Chen, Bowen Xia:
Viewpoint-Driven Subspace Fuzzy C-Means Algorithm. 91-105 - Yue Zhou, Li Zou:
TOPSIS Method Based on Intuitionistic Fuzzy Linguistic Concept. 106-116 - Ping Li, Huanhuan Sun, Yongxia He, Yanping Yang:
Properties of Fuzzy λ-Approximate Context-Free Languages. 117-130 - Kuo Pang, Ning Kang, Li Zou, Mingyu Lu:
Fuzzy-Classical Linguistic Concept Acquisition Approach Based on Attribute Topology. 131-142 - Yi-Qun Zhang, Hua-Wen Liu:
Generalized Convex Combinations of T-Norms on Bounded Lattices. 143-153 - Ning Kang, Kuo Pang, Li Zou, Meiqiao Sun:
A Transformation Model for Different Granularity Linguistic Concept Formal Context. 154-165 - Hao Wu:
Paraconsistent Rough Set Algebras. 166-179
Applications
- Guangling Cao, Jinfan Xu, Wenjuan Chen:
A Generalization of Bounded Commutative Rℓ-Monoids. 183-198 - Lizhu Zhang, Qigao Bo, Gang Li:
On the Weak Dominance Relation Between Conjunctors. 199-210 - Donghong Liu:
New Modification to Toulmin Model as an Analytical Framework for Argumentative Essays. 211-224 - Yuhui An, Jianying Cui:
Value-Based Preference Aggregation Argument Framework and Its Application. 225-238 - Zelong Yue, Xinghua Yao, Yixiang Chen:
A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement. 239-253 - Qilong Nie, Yixiang Chen, Hongwei Tao:
A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set. 254-269 - Yanfang Ma, Xiaotong Gao, Wei Zhou:
The Trustworthiness Measurement Model of Component-Based Software Based on Combination Weight. 270-285
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
