$$\alpha $$ α -Paramodulation method for a lattice-valued logic $$L_nF(X)$$
暂无分享,去创建一个
Jun Liu | Yang Xu | Xingxing He | Yingfang Li | Yang Xu | Jun Liu | Yingfang Li | Xingxing He
[1] Stephan Schulz,et al. E - a brainiac theorem prover , 2002, AI Commun..
[2] Zheng Pei,et al. Linguistic Values Based Intelligent Information Processing: Theory, Methods and Applications , 2010 .
[3] Jun Liu,et al. Alpha-resolution Method for a Lattice-valued First-order Logic , 2011, Eng. Appl. Artif. Intell..
[4] Jun Liu,et al. Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic , 2015, 2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE).
[5] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[6] James P. Bridge,et al. Machine Learning for First-Order Theorem Proving , 2014, J. Autom. Reason..
[7] Yang Xu,et al. α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X) , 2014, Int. J. Comput. Intell. Syst..
[8] Tom Fawcett,et al. Data Science and its Relationship to Big Data and Data-Driven Decision Making , 2013, Big Data.
[9] Guanfeng Wu,et al. A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search , 2019, Int. J. Comput. Intell. Syst..
[10] Etienne E. Kerre,et al. alpha-Resolution principle based on first-order lattice-valued logic LF(X) , 2001, Inf. Sci..
[11] Thibault Gauthier,et al. GRUNGE: A Grand Unified ATP Challenge , 2019, CADE.
[12] Albert Rubio,et al. Paramodulation-Based Theorem Proving , 2001, Handbook of Automated Reasoning.
[13] Luis Martínez-López,et al. On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic , 2012, Log. J. IGPL.
[14] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[15] Andrei Voronkov,et al. Vampire 1.1 (System Description) , 2001, IJCAR.
[16] Neil V. Murray,et al. A Framework for Automated Reasoning in Multiple-Valued Logics , 2004, Journal of Automated Reasoning.
[17] Jun Liu,et al. Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability , 2003, Studies in Fuzziness and Soft Computing.
[18] LiuJun,et al. General form of α-resolution principle for linguistic truth-valued lattice-valued logic , 2012, SOCO 2012.
[19] Wayne Snyder,et al. Basic Paramodulation , 1995, Inf. Comput..
[20] Geoff Sutcliffe. The CADE-27 Automated theorem proving System Competition - CASC-27 , 2019, AI Commun..
[21] Jun Liu,et al. General form of α-resolution principle for linguistic truth-valued lattice-valued logic , 2012, Soft Comput..
[22] Jun Liu,et al. Contradiction separation based dynamic multi-clause synergized automated deduction , 2018, Inf. Sci..
[23] Jun Liu,et al. A resolution-like strategy based on a lattice-valued logic , 2003, IEEE Trans. Fuzzy Syst..
[24] Baihua Li,et al. (alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic , 2015, ISKE.
[25] Jun Liu,et al. A unified algorithm for finding $$k$$k-IESFs in linguistic truth-valued lattice-valued propositional logic , 2014, Soft Comput..
[26] Y. Xu. Lattice implication algebras , 1993 .
[27] Albert Rubio,et al. Paramodulation with Non-Monotonic Orderings and Simplification , 2011, Journal of Automated Reasoning.
[28] Xiaonan Li,et al. (alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic , 2015, 2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE).
[29] Yang Xu,et al. α-LOCK PARAMODULATION FOR A LATTICE-VALUED FIRST ORDER LOGIC LnF(X) , 2016 .
[30] Nicolas Peltier,et al. An Approach to Abductive Reasoning in Equational Logic , 2013, IJCAI.
[31] Jun Liu,et al. On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic , 2012, Soft Comput..
[32] Daniel Brand,et al. Proving Theorems with the Modification Method , 1975, SIAM J. Comput..
[33] L. Wos,et al. Paramodulation and Theorem-Proving in First-Order Theories with Equality , 1983 .
[34] Etienne E. Kerre,et al. alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..