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

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

　　1、內(nèi)容：論文應(yīng)具有清晰、準(zhǔn)確、完整、有條理的邏輯和論證過程，并提供充分的實(shí)驗(yàn)結(jié)果或證明。

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

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

　　4、引用：任何引用的資料、數(shù)據(jù)、圖表等等必須清楚地標(biāo)明出處。

　　5、作者：所有的作者必須被準(zhǔn)確地列出，并且應(yīng)該明確每個(gè)作者的貢獻(xiàn)。

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

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

　　此外也對(duì)JOURNAL OF AUTOMATED REASONING期刊進(jìn)行介紹，這是一本國(guó)際著名的學(xué)術(shù)期刊，涵蓋了計(jì)算機(jī)科學(xué)、數(shù)學(xué)、人工智能等多個(gè)領(lǐng)域。該期刊旨在促進(jìn)自動(dòng)推理、形式化方法和計(jì)算邏輯等方面的研究，發(fā)表的文章包括原創(chuàng)性論文、研究報(bào)告、評(píng)論和書評(píng)等。

　　該期刊由Springer出版，自1985年以來已經(jīng)發(fā)表了大量的高質(zhì)量論文。它的影響因子在計(jì)算機(jī)科學(xué)領(lǐng)域中排名較高，并且它還被列為很多大學(xué)計(jì)算機(jī)科學(xué)專業(yè)的重要參考文獻(xiàn)之一。

　　該期刊的主要研究方向包括但不限于以下領(lǐng)域：自動(dòng)推理;形式化方法;邏輯程序設(shè)計(jì);計(jì)算邏輯;人工智能中的推理;軟件工程中的推理;機(jī)器學(xué)習(xí)中的推理;并行推理等。這本期刊的目標(biāo)讀者群體是計(jì)算機(jī)科學(xué)、數(shù)學(xué)和人工智能等領(lǐng)域的研究人員、教師和學(xué)生，以及對(duì)自動(dòng)推理和形式化方法感興趣的專業(yè)人士。

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