学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 许文艳的留言板
学术论文

[1] Wenyan Xu, Bing Jia. Three-way conflict analysis with similarity degree on an issue set, International Journal of Machine Learning and Cybernetics, 2023, 26 July, Published online: https://doi.org/10.1007/s13042-023-01917-3
[2] Wenyan Xu, Yucong Yan, Xiaonan Li. Three-way decision with ranking and reference tuple on information tables, Information Sciences, 2022, 613: 682-716.
[3] Wenyan Xu, Bing Jia, Xiaonan Li. A generalized model of three-way decision with ranking and reference tuple, International Journal of Approximate Reasoning, 2022, 144: 51-68.
[4] Wenyan Xu, Bing Jia, Xiaonan Li. A two-universe model of three-way decision with ranking and reference tuple, Information Sciences, 2021, 581: 808-839.
[5] Wenyan Xu, A cirquent calculus system with clustering and ranking. Journal of Applied Logic, 2016, 16: 37-49.
[6] Wenyan Xu, A propositional system induced by Japaridze’s approach to IF logic. Logic Journal of the IGPL, 2014, 22 (6): 982-991.
[7] 许文艳, Extended IF逻辑的命题演算系统. 软件学报, 201526(9)2278-2285.
[8] Wenyan Xu and Sanyang Liu, Soundness and completeness of the cirquent calculus system CL6 for computability logic, Logic Journal of the IGPL, 2012, 20(1): 317-330.
[9] Wenyan Xu and Sanyang Liu, The countable versus uncountable branching recurrences in computability logic, Journal of Applied Logic, 2012, 10(4): 431-446.

[10] Wenyan Xu and Sanyang Liu, The parallel versus branching recurrences in computability logic, Notre Dame Journal of Formal Logic (2012).