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.
《JOURNAL OF AUTOMATED REASONING》期刊已被查看： 次
此期刊被最新的JCR期刊SCIE收录
| 期刊官网：https://www.springer.com/10817 |
|---|
| 期刊投稿网址：https://submission.nature.com/new-submission/10817/3 |
| PubMed Central (PMC)链接 ：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0168-7433%5BISSN%5D |
| 通讯地:SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ |
| 中国科学院《国际期刊预警名单（试行）》名单 |
| 2024年02月发布的2024版：不在预警名单中 2023年01月发布的2023版：不在预警名单中 2021年12月发布的2021版：不在预警名单中 2020年12月发布的2020版：不在预警名单中 此期刊被最新的JCR期刊SCIE收录 |
| 版面费 | 审稿速度 | 收录数据库 | 是否oa | 研究方向 |
|---|---|---|---|---|
| >12周，或约稿 | SCIE,Scopus | No | 工程技术-计算机：人工智能 |
| 大类学科 | 分区 | 小类学科 | Top期刊 | 综述期刊 |
|---|---|---|---|---|
| 计算机科学 | 3区 | COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE 计算机：人工智能 |
否 | 否 |
| 版本 | 按学科 | 分区 | 影响因子 |
|---|---|---|---|
| 2023-2024年最新版 | COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE |
Q4 | 0.9 |
Journal of Inclusive Postsecondary EducationJCR:0区,分类：影响因子0收录DOAJ
详情
StichprobenJCR:0区,分类：影响因子0收录DOAJ
详情
EManagementJCR:0区,分类：影响因子0收录DOAJ
详情
Metathesis Journal of English Language Literature and TeachingJCR:0区,分类：影响因子0收录DOAJ
详情
Clinical Psychology in EuropeJCR:0区,分类：影响因子0收录Scopus,DOAJ
详情
Ius InkarriJCR:0区,分类：影响因子0收录DOAJ
详情
Medichna nauka UkrayiniJCR:0区,分类：影响因子0收录DOAJ
详情
Economics LawJCR:0区,分类：影响因子0收录DOAJ
详情