期刊簡(jiǎn)介預(yù)計(jì)審稿時(shí)間： 12周，或約稿

The Journal of Automated Reasoning is an interdisciplinary journal that maintains a balance between theory, implementation and application. The spectrum of material published ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. The main fields covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The papers share the common feature of focusing on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.

The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

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

《自動(dòng)推理雜志》為那些純粹對(duì)理論感興趣的人、主要對(duì)實(shí)施感興趣的人以及對(duì)特定研究和工業(yè)應(yīng)用感興趣的人提供了一個(gè)論壇和信息交流方式。

《Journal Of Automated Reasoning》(自動(dòng)推理雜志)編輯部通訊方式為SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。如果您需要協(xié)助投稿或潤(rùn)稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對(duì)一投稿指導(dǎo)，避免您在投稿時(shí)頻繁碰壁，節(jié)省您的寶貴時(shí)間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會(huì)泄露您的個(gè)人信息或稿件內(nèi)容。