期刊簡介

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

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

自動推理雜志創刊于1985年，由Springer Netherlands出版社出版。其研究的主題領域包括但不限于工程技術-計算機：人工智能，是一本在計算機科學領域具有重要影響力的國際期刊。該期刊涵蓋了計算機科學的多個子領域，旨在全面理解和解決計算機科學問題。

根據最新的數據，自動推理雜志的影響因子為0.9，CiteScore為3.6，h-index為49，SJR為0.873，SNIP為1.612，中科院分區為3區，這些指標均顯示了該期刊在計算機科學領域的優秀地位。

該刊以English作為出版語言。對于English非母語的作者，期刊建議使用語言編輯服務，以確保文稿的語法和拼寫錯誤得到糾正，并符合科學English的標準。如果想實現快速順利的投稿發表，建議您聯系本站的客服團隊，將為您提供專業的選刊建議，并在整個投稿過程中提供細致的指導。