机译:SILAS:逻辑推理和验证的高性能机器学习基础
Griffith Univ Inst Integrated & Intelligent Syst Brisbane Qld Australia;
Univ Auckland Sch Comp Sci Auckland New Zealand|Natl Univ Singapore Sch Comp Singapore Singapore|Natl Univ Singapore Suzhou Res Inst Artificial Intelligence Innovat & Commercialisat Suzhou Peoples R China;
Dependable Intelligence Pty Ltd Depintel Brisbane Qld Australia;
Griffith Univ Inst Integrated & Intelligent Syst Brisbane Qld Australia|Natl Univ Singapore Sch Comp Singapore Singapore;
Griffith Univ Inst Integrated & Intelligent Syst Brisbane Qld Australia;
Torrens Univ Australia Ctr Artificial Intelligence Res & Optimizat Brisbane Qld Australia|Yonsei Univ Yonsei Frontier Lab Seoul South Korea;
Univ Auckland Sch Comp Sci Auckland New Zealand;
High-performance machine learning; Ensemble trees; Explainable artificial intelligence; Logical reasoning;
机译:将一类机器学习算法简化为合理推理的逻辑运算
机译:进化论视角下的非单调推理:本体论,逻辑学和认知学基础
机译:验证编译器原型是否符合用户期望的逻辑基础?
机译:具有不同逻辑基础的正式推理的理论框架
机译:合作学习对第二学期大学计算机科学课程中内容理解和逻辑推理的影响
机译:衰老对宠物狗歧视学习逻辑推理和记忆的影响
机译:假设的信念负荷影响脑网络潜在的逻辑推理:机器学习方法
机译:证据推理的逻辑基础(修订版)。