Journal Of Automated Reasoning

Journal Title：Journal Of Automated Reasoning

The Journal of Automated Reasoning is an interdisciplinary journal that maintains a balance between theory, implementation and application. The spectrum of material published ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The papers share the common feature of focusing on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.

The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

《自動推理雜志》是一本跨學科雜志，在理論、實施和應用之間保持平衡。出版的材料范圍從介紹新的推理規則及其邏輯屬性的證明到詳細說明用于解決工業中各種問題的計算機程序。主要涵蓋的領域包括自動定理證明、邏輯編程、專家系統、程序合成和驗證、人工智能、計算邏輯、機器人技術和各種工業應用。這些論文的共同特點是重點關注自動推理的幾個方面，該領域的目標是設計和實施一種計算機程序，作為解決問題和回答需要推理的問題的助手。

《自動推理雜志》為那些純粹對理論感興趣的人、主要對實施感興趣的人以及對特定研究和工業應用感興趣的人提供了一個論壇和信息交流方式。

Journal Of Automated Reasoning創刊于1985年，由Springer Netherlands出版商出版，收稿方向涵蓋工程技術 - 計算機：人工智能全領域，此刊是中等級別的SCI期刊，所以過審相對來講不是特別難，但是該刊專業認可度不錯，仍然是一本值得選擇的SCI期刊 。平均審稿速度 12周，或約稿 ，影響因子指數0.9，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。