最近有作者在咨詢JOURNAL OF AUTOMATED REASONING出版商，這是比較知名的一家出版商，要求也是比較嚴格的，提交的論文必須是原創性的研究成果，沒有發表過，也沒有正在審閱中，安排的文章含金量也是比較高的。

　　下面是JOURNAL OF AUTOMATED REASONING出版商的一般要求：

　　1、內容：論文應具有清晰、準確、完整、有條理的邏輯和論證過程，并提供充分的實驗結果或證明。

　　2、 格式：論文必須按照出版商的格式要求進行撰寫，包括字體、行距、頁邊距等等。

　　3、語言：論文必須用英語撰寫，并使用正確的語法和拼寫。

　　4、引用：任何引用的資料、數據、圖表等等必須清楚地標明出處。

　　5、作者：所有的作者必須被準確地列出，并且應該明確每個作者的貢獻。

　　6、其他：出版商還可能有其他要求，比如論文的長度、篇幅、圖表等等，請確保仔細閱讀并遵守所有要求。

　　當然這也是一般要求，具體要求可能和出版商或者特定期刊密切相關，大家在提交之前也需要認真查看期刊的官方網站或者作者指南，這樣才能確保您的論文符合出版商的要求。

　　此外也對JOURNAL OF AUTOMATED REASONING期刊進行介紹，這是一本國際著名的學術期刊，涵蓋了計算機科學、數學、人工智能等多個領域。該期刊旨在促進自動推理、形式化方法和計算邏輯等方面的研究，發表的文章包括原創性論文、研究報告、評論和書評等。

　　該期刊由Springer出版，自1985年以來已經發表了大量的高質量論文。它的影響因子在計算機科學領域中排名較高，并且它還被列為很多大學計算機科學專業的重要參考文獻之一。

　　該期刊的主要研究方向包括但不限于以下領域：自動推理;形式化方法;邏輯程序設計;計算邏輯;人工智能中的推理;軟件工程中的推理;機器學習中的推理;并行推理等。這本期刊的目標讀者群體是計算機科學、數學和人工智能等領域的研究人員、教師和學生，以及對自動推理和形式化方法感興趣的專業人士。

　　除了這本期刊外，計算機方向的期刊還有很多，每位作者情況不同，所需要的論文也不同，所要選擇的刊物也不同，或者是您還有相關需求也可以和在線專業人員溝通，推薦合適的期刊出版商，整理相應的要求，這樣安排論文也會更加順利一些。