? 研究员-贾海瑞-365bet官网 世 杯投注_365bet提现流程_365bet亚洲真 365bet官网 世 杯投注_365bet提现流程_365bet亚洲真
专家团队
当前位置: 首页 > 专家团队 > 正文
研究员-贾海瑞

?


?贾海瑞

浙江财经大学365bet官网 世 杯投注_365bet提现流程_365bet亚洲真专职教师,研究员

?

主要研究领域

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

?

?

?

?

发表论文:

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.



点击次数:
上一条:教授-益智
下一条:研究员-喻贞

关闭