自动推理杂志(Journal Of Automated Reasoning)是一本由Springer Netherlands出版的一本工程技术-计算机:人工智能学术刊物,主要报道工程技术-计算机:人工智能相关领域研究成果与实践。本刊已入选来源期刊,该刊创刊于1985年,出版周期Bimonthly。2021-2022年最新版WOS分区等级:Q4,2023年发布的影响因子为0.9,CiteScore指数3.6,SJR指数0.873。本刊非开放获取期刊。《自动推理杂志》是一本跨学科杂志,在理论、实施和应用之间保持平衡。出版的材料范围从介绍新的推理规则及其逻辑属性的证明到详细说明用于解决工业中各种问题的计算机程序。主要涵盖的领域包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人技术和各种工业应用。这些论文的共同特点是重点关注自动推理的几个方面,该领域的目标是设计和实施一种计算机程序,作为解决问题和回答需要推理的问题的助手。《自动推理杂志》为那些纯粹对理论感兴趣的人、主要对实施感兴趣的人以及对特定研究和工业应用感兴趣的人提供了一个论坛和信息交流方式。