《Journal Of Automated Reasoning》中文名稱：《自動推理雜志》，創刊于1985年，由Springer Netherlands出版商出版，出版周期Bimonthly。

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

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

投稿《Journal Of Automated Reasoning》需要準備的文件可詳細閱讀以下要求：

文章要求：

1、建議稿件控制10頁以上，文章撰寫語言為英語；（單欄格式，單倍行距，內容10號字體，文稿類型包含：原創研究(Original Research)、案例報告(Case Report)、文獻綜述(Literature Review)等；文件格式包含word、PDF、LaTeX等。

2、稿件重復率控制10%以內，論文務必保證原創性、圖標、公式、引文等要素齊備，保證附屬資料的完整。已發表或引用過度的文章將不會被出版和檢索，禁止一稿多投，拒絕抄襲、機械性的稿件。

3、稿件必須有較好的英語表達水平，有圖，有表，有公式，有數據或設計，有算法（方案，模型），實驗，仿真等；參考文獻控制25條以上，參考文獻引用一半以上控制在近5年以內。

圖片和圖表要求：

1、建議使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW壓縮。

2、文件大小最大不超過20MB，不要以單個文件的形式上傳數據。

3、彩色圖片的分辨率≥300dpi；黑白圖片的分辨率在≥500dpi；line art圖片類型的分辨率≥1000dpi；色彩模式建議采用RGB，除非期刊注明要CMYK。

4、線條不要細于0.25pt,也不能太粗，超過1.5pt,過細或過粗都影響美觀。

5、表格一般和manuscrript放置在一個word文檔里部分期刊 需要單獨上傳表格。

作者信息：

1、包括作者姓名、最高學位，作者單位（精確到部門），郵箱，地址，郵編，關鍵詞，內容，總結，項目基金，參考文獻，作者相片+簡介（一定要確保作者信息準確無誤，提交稿件之后這部分不能再作改動）。

更多征稿細則請查閱雜志社征稿要求。本站專注期刊咨詢服務十年，確保SCI檢索，稿件信息安全保密，合乎學術規范不成功不收費，詳情請咨詢客服。

聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。