最近有作者在咨询JOURNAL OF AUTOMATED REASONING出版商，这是比较知名的一家出版商，要求也是比较严格的，提交的论文必须是原创性的研究成果，没有发表过，也没有正在审阅中，安排的文章含金量也是比较高的。

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

　　1、内容：论文应具有清晰、准确、完整、有条理的逻辑和论证过程，并提供充分的实验结果或证明。

　　2、 格式：论文必须按照出版商的格式要求进行撰写，包括字体、行距、页边距等等。

　　3、语言：论文必须用英语撰写，并使用正确的语法和拼写。

　　4、引用：任何引用的资料、数据、图表等等必须清楚地标明出处。

　　5、作者：所有的作者必须被准确地列出，并且应该明确每个作者的贡献。

　　6、其他：出版商还可能有其他要求，比如论文的长度、篇幅、图表等等，请确保仔细阅读并遵守所有要求。

　　当然这也是一般要求，具体要求可能和出版商或者特定期刊密切相关，大家在提交之前也需要认真查看期刊的官方网站或者作者指南，这样才能确保您的论文符合出版商的要求。

　　此外也对JOURNAL OF AUTOMATED REASONING期刊进行介绍，这是一本国际著名的学术期刊，涵盖了计算机科学、数学、人工智能等多个领域。该期刊旨在促进自动推理、形式化方法和计算逻辑等方面的研究，发表的文章包括原创性论文、研究报告、评论和书评等。

　　该期刊由Springer出版，自1985年以来已经发表了大量的高质量论文。它的影响因子在计算机科学领域中排名较高，并且它还被列为很多大学计算机科学专业的重要参考文献之一。

　　该期刊的主要研究方向包括但不限于以下领域：自动推理;形式化方法;逻辑程序设计;计算逻辑;人工智能中的推理;软件工程中的推理;机器学习中的推理;并行推理等。这本期刊的目标读者群体是计算机科学、数学和人工智能等领域的研究人员、教师和学生，以及对自动推理和形式化方法感兴趣的专业人士。

　　除了这本期刊外，计算机方向的期刊还有很多，每位作者情况不同，所需要的论文也不同，所要选择的刊物也不同，或者是您还有相关需求也可以和在线专业人员沟通，推荐合适的期刊出版商，整理相应的要求，这样安排论文也会更加顺利一些。