专家团队
研究员-贾海瑞

 


 贾海瑞

1分快3彩票官方版app下载专职教师,研究员

 

主要研究领域

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

 

 

 

 

发表论文:

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.



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

关闭

分享到QQ空间新浪微博人人网腾讯微博网易微博0