廖备水著2015 年出版144 页ISBN：9787308143257
本书采用类似于算法理论中“分而治之”的策略和“有效利用上次计算结果”的策略，建立了一种基于“划分”的辩论语义计算理论体系，在此基础上，利用回答集编程理论和现有的回答集求解器，构建相应的实现方法和系统...
（英）西蒙J.D.普林斯著；苗启广，刘凯，孔韦韦等译2017 年出版444 页ISBN：9787111516828
本书是一本从机器学习视角讲解计算机视觉的优秀教材。本书图文并茂，算法描述由浅入深，主要讲述计算机视觉中三个方面的内容：模型、学习和推理，揭示计算机视觉研究中 “模型”和“算法”之间的区别，并且对每一种....
马冯著2016 年出版90 页ISBN：9787564345112
本书是一本学术专著。全书内容共分为5章，在阐述数据密集型计算原理的基础上，以贝叶斯网为主要数据分析工具，详细阐述了在数据密集型计算环境下，贝叶斯网络在结构学习，推理方面与传统单机数据模式下的区别与联系....
自然语言交流的计算机模型 数据库语义学下的语言理解、推理和生成
（德）罗兰德·豪塞尔著；冯秋香译2016 年出版411 页ISBN：9787100115186
第一部分介绍SLIM语言理论的基础框架。包括认知主体的外部界面，数据结构和算法。第二部分系统分析自然语言的主要结构，以英语在听话者和说话者模式下的释义推到为例。第三部分介绍英语断片，构建一个功能完整但...
王洪著2013 年出版403 页ISBN：9787562049869
本书阐释制定法与判例法的适用方法与普通法判例法大体相同，即都采用演绎推理和类比推理两种方法。所不同的是，在运用类比推理判定本案与先例在案件事实方面的异同的重要性时，普通法判例法所依据的，是先例中阐明...
王洪著2016 年出版422 页ISBN：9787562069690
本书阐释了制定法与判例法的适用方法与普通法判例法大体相同，即都采用演绎推理和类比推理两种方法。所不同的是，在运用类比推理判定本案与先例在案件事实方面的异同的重要性时，普通法判例法所依据的，是先例中阐...
