自动推理杂志(Journal of Automated Reasoning)平衡了理论、实施和应用。覆盖范围从提出一个新的推理规则并证明其逻辑属性到详细说明一个旨在解决工业中各种问题的计算机程序。主题包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人和各种工业应用。内容集中在自动推理的几个方面,该领域的目标是设计和实现一个计算机程序,在解决问题和回答需要推理的问题时充当助手。 官网地址:http://dblp.uni-trier.de/db/journals/jar/
Top