贾海瑞

ued体育 中国金融研究院专职教师，助理研究员

主要研究领域

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

发表论文：

1.α-MinimalResolution 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-Arya-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-arya-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-Clausala-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.