Articles with public access mandates - Yang XuLearn more
Not available anywhere: 71
2-dimension linguistic computational model with 2-tuples for multi-attribute group decision making
H Zhu, J Zhao, Y Xu
Knowledge-Based Systems 103, 132-142, 2016
Mandates: National Natural Science Foundation of China
Ideals and fuzzy ideals on residuated lattices
Y Liu, Y Qin, X Qin, Y Xu
International Journal of Machine Learning and Cybernetics 8, 239-253, 2017
Mandates: National Natural Science Foundation of China
Contradiction separation based dynamic multi-clause synergized automated deduction
Y Xu, J Liu, S Chen, X Zhong, X He
Information Sciences 462, 93-113, 2018
Mandates: National Natural Science Foundation of China
A novel rule base representation and its inference method using the evidential reasoning approach
L Jin, J Liu, Y Xu, X Fang
Knowledge-Based Systems 87, 80-91, 2015
Mandates: National Natural Science Foundation of China
A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking
X Wang, J Liu, SJ Moore, CD Nugent, Y Xu
Information Fusion 95, 275-292, 2023
Mandates: National Natural Science Foundation of China
Interval-valued belief rule inference methodology based on evidential reasoning-IRIMER
H Zhu, J Zhao, Y Xu, L Du
International Journal of Information Technology & Decision Making 15 (06 …, 2016
Mandates: National Natural Science Foundation of China
Interval-valued intuitionistic (T, S)-fuzzy filters theory on residuated lattices
Y Liu, X Qin, Y Xu
International Journal of Machine Learning and Cybernetics 5, 683-696, 2014
Mandates: National Natural Science Foundation of China
A novel generalization of resolution principle for automated deduction
Y Xu, J Liu, S Chen, X Zhong
Uncertainty Modelling in Knowledge Engineering and Decision Making …, 2016
Mandates: National Natural Science Foundation of China
Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking
X Wang, J Liu, C Nugent, I Cleland, Y Xu
Knowledge-Based Systems 264, 110355, 2023
Mandates: National Natural Science Foundation of China
Some synergized clause selection strategies for contradiction separation based automated deduction
S Chen, Y Xu, Y Jiang, J Liu, X He
2017 12th International Conference on Intelligent Systems and Knowledge …, 2017
Mandates: National Natural Science Foundation of China
Distinctive features of the contradiction separation based dynamic automated deduction
Y Xu, S Chen, J Liu, X Zhong, X He
Data Science and Knowledge Engineering for Sensing Decision Support …, 2018
Mandates: National Natural Science Foundation of China
On derivations of linguistic truth-valued lattice implication algebras
H Zhu, Y Liu, Y Xu
International Journal of Machine Learning and Cybernetics 9, 611-620, 2018
Mandates: National Natural Science Foundation of China
A method for interval Multi-attribute decision making based on evidential reasoning and third-generation prospect theory
L Jin, Y Xu, X Fang
2015 10th International Conference on Intelligent Systems and Knowledge …, 2015
Mandates: National Natural Science Foundation of China
Game theory with probabilistic prediction for conflict resolution in air traffic management
K Xu, H Yin, L Zhang, Y Xu
2015 10th International Conference on Intelligent Systems and Knowledge …, 2015
Mandates: National Natural Science Foundation of China
Ideals in residuated lattices
QJ Luo
Quantitative Logic and Soft Computing 2016: Proceedings of the 4th …, 2017
Mandates: National Natural Science Foundation of China
2-Dimension Linguistic Lattice Implication Algebra
H Zhu, J Zhao, W Chang, Y Xu
2015 10th International Conference on Intelligent Systems and Knowledge …, 2015
Mandates: National Natural Science Foundation of China
A unified algorithm for finding -IESFs in linguistic truth-valued lattice-valued propositional logic
X He, Y Xu, J Liu, S Chen
Soft Computing 18, 2135-2147, 2014
Mandates: National Natural Science Foundation of China
Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers
W Chang, G Wu, Y Xu
2017 12th International Conference on Intelligent Systems and Knowledge …, 2017
Mandates: National Natural Science Foundation of China
A first-order logic clause set preprocessing method based on clause deduction distance
F Cao, Y Xu, SW Chen, XR Ning, GF Wu
2019 IEEE 14th International Conference on Intelligent Systems and Knowledge …, 2019
Mandates: National Natural Science Foundation of China
Axiom selection over large theory based on new first-order formula metrics
Q Liu, Y Xu
Applied Intelligence, 1-15, 2022
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program