质点几何定理机器证明的研究进展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 被引量
六元语言真值模态命题逻辑及其归结自动推理研究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 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,497 浏览量: 5,717
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
基于加权案例推理的脑卒中后偏瘫患者的智能康复训练处方决策研究Intelligent Rehabilitation Prescription Decision Making for Post-Stroke Hemiplegia Patients Using Weighted Case-Based Reasoning
陈思捷, 李素姣, 刘 淇, 喻洪流 下载量: 49 浏览量: 106 科研立项经费支持
建模与仿真 Vol.13 No.3, May 17 2024, PDF, HTML, XML DOI:10.12677/mos.2024.133205 被引量
推理规则链的确定性构建Creating a Reasoning Chain Determinately
张亦舜 下载量: 1,536 浏览量: 3,972
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69068 被引量
人工智能中的自动逻辑推理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 被引量
论析数学逻辑推理的三种方法Analysis on the Three Methods of Mathematical Logic Reasoning
李 琪, 郭继东 下载量: 802 浏览量: 3,253 科研立项经费支持
理论数学 Vol.10 No.5, May 18 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105060 被引量
民事裁判文书说理问题研究Study on the Reasoning of Civil Adjudication Documents
张庆庆 下载量: 317 浏览量: 444
法学 Vol.11 No.5, September 13 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115598 被引量
自动化行政中的风险及法律应对Risk and Legal Response in Automated Administration
肖莲华 下载量: 259 浏览量: 356
法学 Vol.11 No.6, November 15 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.116778 被引量
演绎与归纳推理比较的神经机制:问题与趋势The Neural Mechanisms of Comparison between Deductive and Inductive Reasoning: Problems and Trends
李晓芳, 张明明, 龙长权 下载量: 2,191 浏览量: 12,780 国家自然科学基金支持
心理学进展 Vol.6 No.4, April 11 2016, PDF, , XML DOI:10.12677/AP.2016.64049 被引量