Personal Information
Associate professor Supervisor of Master's Candidates
Paper Publications
- 许文艳,Three-way Decision With Ranking And Reference Tuple on Information Tables:Information Sciences,2022,613:682-716
- Three-way conflict analysis with similarity degree on an issue set:INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS,2023
- Extended IF逻辑的命题演算系统:软件学报,2015,26(9):2278-2285
- 许文艳,动直线轨迹方程的消参法在几何教学中的设计与探究:高等数学研究,2022,25(4):108-110
- 可计算性逻辑中若干形式系统及算子的研究:西安电子科技大学,2013(4)
- Deduction Theorem For Symmetric Cirquent Calculus:Quantitative Logic And Soft Computing 2010, Vol 2,2010,82:121-126
- 命题逻辑公式的压缩表示及其相应的形式系统:模糊系统与数学,2011,25(1):25-31
- 许文艳,A Two-universe Model of Three-way Decision With Ranking And Reference Tuple:Information Sciences,2021,581:808-839
- A Cirquent Calculus System With Clustering And Ranking:Journal of Applied Logic,2016,16:37-49
- 知识库系统的逻辑基础:计算机学报,2009,32(11):2123-2129
- A Propositional System Induced by Japaridze\'s Approach to If Logic:Logic Journal of the Igpl,2014,22(6):982-991
- The Parallel Versus Branching Recurrences in Computability Logic:Notre Dame Journal of Formal Logic,2013,54(1):61-78
- Sequential rough set: a conservative extension of Pawlak’s classical rough set.[J]:Artificial Intelligence Review,2024,58(9)
- 许文艳,A Two-universe Model of Three-way Decision With Ranking And Reference Tuple:Information Sciences,2021,581:808-839
- 许文艳,A Generalized Model of Three-way Decision With Ranking And Reference Tuple:International Journal of Approximate Reasoning,2022,144:51-68
- Xu, Wen-Yan ,A formal system for propositional extended IF logic:Ruan Jian Xue Bao/Journal of Software,2015,26(9):2278-2285
- Xu, Wenyan,A cirquent calculus system with clustering and ranking:JOURNAL OF APPLIED LOGIC,2016,16:37-49
- A Propositional System Induced by Japaridze\'s Approach to If Logic:Logic Journal of the Igpl,2014,22(6):982-991
- Soundness and completeness of the cirquent calculus system CL6 for computability logic.[J]:Logic Journal of the IGPL，2012,20(1):317-330
- 许文艳,幂级数的启发式教学设计与探究:教育进展,2023(7):4225-4229
- 可计算性逻辑中若干形式系统及算子的研究:西安电子科技大学,2013(4)
- The Countable Versus Uncountable Branching Recurrences in Computability Logic:Journal of Applied Logic,2012,10(4):431-446
- Deduction Theorem For Symmetric Cirquent Calculus:Quantitative Logic And Soft Computing 2010, Vol 2,2010,82:121-126
- 任务逻辑中的定理:模糊系统与数学,2006,20(6):15-20
- 知识库系统的逻辑基础:计算机学报,2009,32(11):2123-2129
- Cirquent Calculus System Cl8s Versus Calculus of Structures System Sksg For Propositional Logic:Quantitative Logic And Soft Computing,2012,5:144-149
- Wenyan Xu,A two-universe model of three-way decision with ranking and reference tuple.[J]:Information Sciences,2021
- Wenyan Xu,A generalized model of three-way decision with ranking and reference tuple.[J]:International Journal of Approximate Reasoning,2022
- Wenyan Xu,Three-way decision with ranking and reference tuple on information tables.[J]:Information Sciences,2022
- Wenyan Xu,Three-way conflict analysis with similarity degree on an issue set.[J]:International Journal of Machine Learning and Cybernetics，2023,2024