Wenyan Xu

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 11

Top Topics

Truth Maintenance Systems

Propositional Variables

Ranking Algorithm

Top Venues

Publications

Wenyan Xu, Bing Jia
Three-way conflict analysis with similarity degree on an issue set. Int. J. Mach. Learn. Cybern. 15 (2) (2024)
Wei Dang, Soobong Kim, SungJun Park, Wenyan Xu
The impact of economic and IoT technologies on air pollution: an AI-based simulation equation model using support vector machines. Soft Comput. 28 (4) (2024)
Shenghui Li, Wenyan Xu, Jingqi Yin
Cross-cultural differences in retracted publications of male and female from a global perspective. Scientometrics 128 (7) (2023)
Ling Zhang, Zhiqing Wei, Lin Wang, Xin Yuan, Huici Wu, Wenyan Xu
Spectrum Sharing in the Sky and Space: A Survey. Sensors 23 (1) (2023)
Wenyan Xu, Huiling Lai, Yuxiang Du
Design of intelligent management system for stereo garage based on deep learning. ICISCAE (2023)
Mingyue Zhu, Wenyan Xu, Ningyan Guo, Zhiqing Wei
Joint Sensor Localization and Data Collection in UAV-Assisted Wireless Sensor Network. WCSP (2022)
Wenyan Xu, Yucong Yan, Xiaonan Li
Three-way decision with ranking and reference tuple on information tables. Inf. Sci. 613 (2022)
Wenyan Xu, Bing Jia, Xiaonan Li
A generalized model of three-way decision with ranking and reference tuple. Int. J. Approx. Reason. 144 (2022)
Wenyan Xu, Bing Jia, Xiaonan Li
A two-universe model of three-way decision with ranking and reference tuple. Inf. Sci. 581 (2021)
Wenyan Xu, Qing Li, Zhiyuan Zhu, Xia Wu
A Novel Graph Wavelet Model for Brain Multi-scale Activational-Connectional Feature Fusion. MICCAI (3) (2019)
Wenyan Xu
A cirquent calculus system with clustering and ranking. J. Appl. Log. 16 (2016)
Wenyan Xu
Axiomatizing Japaridze's approach to propositional IF logic. CoRR (2014)
Wenyan Xu
A propositional system induced by Japaridze's approach to IF logic. Log. J. IGPL 22 (6) (2014)
Wenyan Xu
A cirquent calculus system with clustering and ranking. CoRR (2014)
Wenyan Xu, Sanyang Liu
The Parallel versus Branching Recurrences in Computability Logic. Notre Dame J. Formal Log. 54 (1) (2013)
Wenyan Xu, Sanyang Liu
The countable versus uncountable branching recurrences in computability logic. J. Appl. Log. 10 (4) (2012)
Wenyan Xu, Sanyang Liu
Soundness and completeness of the Cirquent calculus system CL6 for computability logic. Log. J. IGPL 20 (1) (2012)
Wenyan Xu, Sanyang Liu
Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic. QLSC (2012)
Wenyan Xu, Sanyang Liu
The countable versus uncountable branching recurrences in computability logic CoRR (2011)
Wenyan Xu, Sanyang Liu
Soundness and completeness of the cirquent calculus system CL6 for computability logic CoRR (2011)
Wenyan Xu, Sanyang Liu
The parallel versus branching recurrences in computability logic CoRR (2011)
Cheng Han, Guojun Wang, Wenyan Xu
) in revised Kleene system W. Soft Comput. 10 (2) (2006)