贾海瑞

浙江财经大学中国金融研究院专职教师，研究员

主要研究领域

自动推理、代数逻辑、量化投资等。 

发表论文：

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.