质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,354 浏览量: 4,432
应用数学进展 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
王诗慧, 王艳芳, 崔晓松 下载量: 367 浏览量: 544
计算机科学与应用 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,514 浏览量: 5,765
应用数学进展 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
陈思捷, 李素姣, 刘 淇, 喻洪流 下载量: 83 浏览量: 171 科研立项经费支持
建模与仿真 Vol.13 No.3, May 17 2024, PDF, HTML, XML DOI:10.12677/mos.2024.133205 被引量
推理规则链的确定性构建Creating a Reasoning Chain Determinately
张亦舜 下载量: 1,556 浏览量: 4,108
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69068 被引量
人工智能中的自动逻辑推理Automatic Logic Reasoning in Artificial Intelligence
邱德钧 下载量: 1,427 浏览量: 6,641
人工智能与机器人研究 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
李 琪, 郭继东 下载量: 835 浏览量: 3,328 科研立项经费支持
理论数学 Vol.10 No.5, May 18 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105060 被引量
民事裁判文书说理问题研究Study on the Reasoning of Civil Adjudication Documents
张庆庆 下载量: 342 浏览量: 477
法学 Vol.11 No.5, September 13 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115598 被引量
ProofsNavigator:基于引导的可解释知识推理方法ProofsNavigator: A Bootstrap Base Method for Explainable Knowledge Reasoning
韦泽杨, 贾旭东, 陈 涛, 钟甫广 下载量: 27 浏览量: 57
计算机科学与应用 Vol.14 No.7, July 12 2024, PDF, , XML DOI:10.12677/csa.2024.147159 被引量
自动化行政中的风险及法律应对Risk and Legal Response in Automated Administration
肖莲华 下载量: 303 浏览量: 414
法学 Vol.11 No.6, November 15 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.116778 被引量