六元语言真值模态命题逻辑及其归结自动推理研究6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧, 王艳芳, 崔晓松 下载量: 339 浏览量: 491
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量
质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,311 浏览量: 4,360
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
人工智能中的自动逻辑推理Automatic Logic Reasoning in Artificial Intelligence
邱德钧 下载量: 1,387 浏览量: 6,573
人工智能与机器人研究 Vol.8 No.1, December 26 2018, PDF, HTML, XML DOI:10.12677/AIRR.2019.81002 被引量