（德）比约尼尔著2010 年出版568 页ISBN：9787302208907
本书介绍了抽象与建模的基本原理和技术。首先，本卷给出了离散数学的基本介绍，然后讲授基本的面向属性与面向模型的规约的基本原理和技术。...
（荷兰）亨利·帕肯著；熊明辉译2015 年出版375 页ISBN：9787562056522
本书主要研究法律推理的逻辑视角，其目的是为了人工智能在法律领域中的应用提供哲学基础。本书充分尊重通常发生在纠纷背景下的法律推理，并注意到了法律给争议留下的很大空间。作者表明，考虑到逻辑与人工智能领...
（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
周志杰；陈玉旺；胡昌华；张邦成；常雷雷著2017 年出版281 页ISBN：9787030515520
本书按照ER证据推理方法的发展历程，全面系统地介绍了各种ER证据推理方法的主要思想及其所要解决的问题。同时，系统地介绍了基于ER的BRB推理方法，全面地阐述了BRB基本理论，包括BRB参数离线训练、BRB参数在线更新...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
