贾海瑞
浙江财经大学中国金融研究院专职教师，助理研究员
主要研究领域
自动推理、代数逻辑、量化投资等。
发表论文：
1. α-Minimal Resolution Principle For A Lattice-Valued Logic, International Journal of Computational Intelligence Systems, 2015.
2. Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system, Journal of Intelligent & Fuzzy Systems, 2017.
3. Determination of 3-Ary a-resolution in lattice-valued propositional logic LP(X), International Journal of Computational Intelligence Systems, 2013.
4. Multi-ary α-semantic resolution automated reasonging based on a lattice-valued propositional logic LP(X), International Journal of Innovative Computing, Information and Control. 2016.
5. α-Minimal Resolution Principle Based on Lattice-Valued Propositional Logic LP(X), Program for International Conference on 2013 Machine Learning and Cybernetics, 2013.7.
6. Non-Clausal Multi-ary a-Ordered Linear Generalized Resolution Method For A Lattice-Valued First-order Logic, The International Conference on Intelligent Systems and Knowledge Engineering, 2015.11.
7. a-Ordered Linear Minimal Resolution Method in Lattice-valued Propositional Logic System LP(X), The 11th International FLINS Conference on Decision Making and Soft Computing, 2014.8.
8. Non-Clausal a-Minimal Generalized Resolution Principle for Lattice-Valued Propositional Logic, The 12th International Conference on Uncertainty Modelling in Knowledge Engineering and Decision Making, 2016.8.
9. 基于格值命题逻辑的非子句多元a-有序线性广义归结方法,计算机科学与探索, 2015.
10. 基于格值逻辑系统LP(X)的a-归结域的代数结构, 山东大学学报(工学版), 2013.