J AUTOM REASONING
ISSN：0168-7433 E-ISSN：1573-0670 出版商：Springer Nature 国家：NETHERLANDS 周期：Bimonthly
| 收录情况 | h-index：49 CiteScore：4.60 |
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.
数据整理自公开网络的投稿反馈，仅供参考。
