Scimago Journal & Country Rank

Journal of Automated Reasoning

Country

Netherlands

Universities and research institutions in Netherlands
Media Ranking in Netherlands

Subject Area and Category

Publisher

Springer Netherlands

H-Index

62

Publication type

Journals

ISSN

01687433, 15730670

Coverage

1985-2023

Information

Homepage

How to publish in this journal

Scope

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. Join the conversation about this journal
Quartiles

The set of journals have been ranked according to their SJR and divided into four equal groups, four quartiles. Q1 (green) comprises the quarter of the journals with the highest values, Q2 (yellow) the second highest values, Q3 (orange) the third highest values and Q4 (red) the lowest values.

CategoryYearQuartile
Artificial Intelligence1999Q1
Artificial Intelligence2000Q1
Artificial Intelligence2001Q1
Artificial Intelligence2002Q1
Artificial Intelligence2003Q1
Artificial Intelligence2004Q2
Artificial Intelligence2005Q2
Artificial Intelligence2006Q2
Artificial Intelligence2007Q2
Artificial Intelligence2008Q1
Artificial Intelligence2009Q1
Artificial Intelligence2010Q1
Artificial Intelligence2011Q2
Artificial Intelligence2012Q2
Artificial Intelligence2013Q2
Artificial Intelligence2014Q2
Artificial Intelligence2015Q1
Artificial Intelligence2016Q2
Artificial Intelligence2017Q2
Artificial Intelligence2018Q2
Artificial Intelligence2019Q2
Artificial Intelligence2020Q2
Artificial Intelligence2021Q2
Artificial Intelligence2022Q2
Artificial Intelligence2023Q2
Computational Theory and Mathematics1999Q1
Computational Theory and Mathematics2000Q2
Computational Theory and Mathematics2001Q1
Computational Theory and Mathematics2002Q1
Computational Theory and Mathematics2003Q1
Computational Theory and Mathematics2004Q3
Computational Theory and Mathematics2005Q2
Computational Theory and Mathematics2006Q2
Computational Theory and Mathematics2007Q3
Computational Theory and Mathematics2008Q2
Computational Theory and Mathematics2009Q1
Computational Theory and Mathematics2010Q1
Computational Theory and Mathematics2011Q2
Computational Theory and Mathematics2012Q2
Computational Theory and Mathematics2013Q3
Computational Theory and Mathematics2014Q2
Computational Theory and Mathematics2015Q1
Computational Theory and Mathematics2016Q2
Computational Theory and Mathematics2017Q2
Computational Theory and Mathematics2018Q2
Computational Theory and Mathematics2019Q2
Computational Theory and Mathematics2020Q2
Computational Theory and Mathematics2021Q2
Computational Theory and Mathematics2022Q2
Computational Theory and Mathematics2023Q2
Software1999Q1
Software2000Q1
Software2001Q1
Software2002Q1
Software2003Q1
Software2004Q2
Software2005Q2
Software2006Q2
Software2007Q2
Software2008Q1
Software2009Q1
Software2010Q1
Software2011Q1
Software2012Q1
Software2013Q2
Software2014Q2
Software2015Q1
Software2016Q1
Software2017Q1
Software2018Q1
Software2019Q2
Software2020Q2
Software2021Q2
Software2022Q2
Software2023Q2
SJR

The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.

YearSJR
19991.022
20000.675
20011.357
20020.898
20031.553
20040.405
20050.632
20060.695
20070.569
20081.121
20091.344
20101.722
20110.875
20120.832
20130.660
20140.762
20151.358
20160.851
20170.650
20180.703
20190.701
20200.497
20210.930
20220.770
20230.873
Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

YearDocuments
199930
200026
200131
200234
200326
200421
200527
200633
200732
200824
200927
201035
201132
201236
201337
201426
201526
201629
201735
201835
201968
202055
202136
202234
202340
Citations per document

This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.

Cites per documentYearValue
Cites / Doc. (4 years)19991.495
Cites / Doc. (4 years)20001.146
Cites / Doc. (4 years)20011.468
Cites / Doc. (4 years)20021.139
Cites / Doc. (4 years)20031.545
Cites / Doc. (4 years)20041.231
Cites / Doc. (4 years)20051.348
Cites / Doc. (4 years)20061.361
Cites / Doc. (4 years)20071.430
Cites / Doc. (4 years)20081.894
Cites / Doc. (4 years)20092.707
Cites / Doc. (4 years)20103.422
Cites / Doc. (4 years)20113.042
Cites / Doc. (4 years)20122.398
Cites / Doc. (4 years)20131.915
Cites / Doc. (4 years)20141.864
Cites / Doc. (4 years)20152.504
Cites / Doc. (4 years)20162.080
Cites / Doc. (4 years)20172.347
Cites / Doc. (4 years)20183.034
Cites / Doc. (4 years)20192.696
Cites / Doc. (4 years)20201.922
Cites / Doc. (4 years)20212.166
Cites / Doc. (4 years)20221.706
Cites / Doc. (4 years)20231.653
Cites / Doc. (3 years)19991.495
Cites / Doc. (3 years)20001.010
Cites / Doc. (3 years)20011.512
Cites / Doc. (3 years)20021.161
Cites / Doc. (3 years)20031.780
Cites / Doc. (3 years)20040.747
Cites / Doc. (3 years)20051.506
Cites / Doc. (3 years)20061.257
Cites / Doc. (3 years)20071.247
Cites / Doc. (3 years)20082.087
Cites / Doc. (3 years)20093.101
Cites / Doc. (3 years)20104.060
Cites / Doc. (3 years)20112.256
Cites / Doc. (3 years)20122.191
Cites / Doc. (3 years)20131.515
Cites / Doc. (3 years)20141.848
Cites / Doc. (3 years)20152.727
Cites / Doc. (3 years)20162.382
Cites / Doc. (3 years)20172.531
Cites / Doc. (3 years)20182.600
Cites / Doc. (3 years)20192.596
Cites / Doc. (3 years)20202.123
Cites / Doc. (3 years)20211.835
Cites / Doc. (3 years)20221.642
Cites / Doc. (3 years)20231.704
Cites / Doc. (2 years)19991.618
Cites / Doc. (2 years)20000.914
Cites / Doc. (2 years)20011.482
Cites / Doc. (2 years)20021.404
Cites / Doc. (2 years)20031.015
Cites / Doc. (2 years)20040.733
Cites / Doc. (2 years)20051.404
Cites / Doc. (2 years)20060.958
Cites / Doc. (2 years)20071.067
Cites / Doc. (2 years)20082.492
Cites / Doc. (2 years)20093.946
Cites / Doc. (2 years)20103.529
Cites / Doc. (2 years)20111.839
Cites / Doc. (2 years)20121.657
Cites / Doc. (2 years)20131.559
Cites / Doc. (2 years)20141.849
Cites / Doc. (2 years)20153.270
Cites / Doc. (2 years)20162.615
Cites / Doc. (2 years)20171.891
Cites / Doc. (2 years)20182.594
Cites / Doc. (2 years)20192.971
Cites / Doc. (2 years)20201.728
Cites / Doc. (2 years)20211.756
Cites / Doc. (2 years)20221.538
Cites / Doc. (2 years)20231.600
Total Cites 
Self-Cites

Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.

CitesYearValue
Self Cites199915
Self Cites200014
Self Cites200112
Self Cites200214
Self Cites200311
Self Cites20045
Self Cites20058
Self Cites20067
Self Cites20074
Self Cites20084
Self Cites200910
Self Cites201012
Self Cites20115
Self Cites20124
Self Cites20135
Self Cites20148
Self Cites201525
Self Cites20169
Self Cites201710
Self Cites201816
Self Cites201914
Self Cites202013
Self Cites202117
Self Cites202216
Self Cites202318
Total Cites1999139
Total Cites200099
Total Cites2001127
Total Cites2002101
Total Cites2003162
Total Cites200468
Total Cites2005122
Total Cites200693
Total Cites2007101
Total Cites2008192
Total Cites2009276
Total Cites2010337
Total Cites2011194
Total Cites2012206
Total Cites2013156
Total Cites2014194
Total Cites2015270
Total Cites2016212
Total Cites2017205
Total Cites2018234
Total Cites2019257
Total Cites2020293
Total Cites2021290
Total Cites2022261
Total Cites2023213
External Cites per Doc 
Cites per Doc

Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years. External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.

CitesYearValue
External Cites per document19991.333
External Cites per document20000.867
External Cites per document20011.369
External Cites per document20021.000
External Cites per document20031.659
External Cites per document20040.692
External Cites per document20051.407
External Cites per document20061.162
External Cites per document20071.198
External Cites per document20082.043
External Cites per document20092.989
External Cites per document20103.916
External Cites per document20112.198
External Cites per document20122.149
External Cites per document20131.466
External Cites per document20141.771
External Cites per document20152.475
External Cites per document20162.281
External Cites per document20172.407
External Cites per document20182.422
External Cites per document20192.455
External Cites per document20202.029
External Cites per document20211.728
External Cites per document20221.541
External Cites per document20231.560
Cites per document19991.495
Cites per document20001.010
Cites per document20011.512
Cites per document20021.161
Cites per document20031.780
Cites per document20040.747
Cites per document20051.506
Cites per document20061.257
Cites per document20071.247
Cites per document20082.087
Cites per document20093.101
Cites per document20104.060
Cites per document20112.256
Cites per document20122.191
Cites per document20131.515
Cites per document20141.848
Cites per document20152.727
Cites per document20162.382
Cites per document20172.531
Cites per document20182.600
Cites per document20192.596
Cites per document20202.123
Cites per document20211.835
Cites per document20221.642
Cites per document20231.704
% International Collaboration

International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.

YearInternational Collaboration
199920.00
200015.38
200116.13
200232.35
200326.92
200423.81
200529.63
200636.36
200721.88
200841.67
200933.33
201022.86
201140.63
201247.22
201335.14
201446.15
201542.31
201637.93
201751.43
201822.86
201945.59
202049.09
202144.44
202250.00
202332.50
Citable documents 
Non-citable documents

Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.

DocumentsYearValue
Non-citable documents19990
Non-citable documents20000
Non-citable documents20010
Non-citable documents20021
Non-citable documents20033
Non-citable documents20044
Non-citable documents20053
Non-citable documents20063
Non-citable documents20077
Non-citable documents200810
Non-citable documents20099
Non-citable documents20104
Non-citable documents20114
Non-citable documents20126
Non-citable documents20139
Non-citable documents20147
Non-citable documents20154
Non-citable documents20161
Non-citable documents20171
Non-citable documents20184
Non-citable documents20196
Non-citable documents202011
Non-citable documents202113
Non-citable documents202213
Non-citable documents20239
Citable documents199993
Citable documents200098
Citable documents200184
Citable documents200286
Citable documents200388
Citable documents200487
Citable documents200578
Citable documents200671
Citable documents200774
Citable documents200882
Citable documents200980
Citable documents201079
Citable documents201182
Citable documents201288
Citable documents201394
Citable documents201498
Citable documents201595
Citable documents201688
Citable documents201780
Citable documents201886
Citable documents201993
Citable documents2020127
Citable documents2021145
Citable documents2022146
Citable documents2023116
Cited documents 
Uncited documents

Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.

DocumentsYearValue
Uncited documents199943
Uncited documents200050
Uncited documents200143
Uncited documents200245
Uncited documents200335
Uncited documents200458
Uncited documents200538
Uncited documents200635
Uncited documents200745
Uncited documents200849
Uncited documents200938
Uncited documents201028
Uncited documents201136
Uncited documents201240
Uncited documents201346
Uncited documents201437
Uncited documents201533
Uncited documents201638
Uncited documents201725
Uncited documents201824
Uncited documents201931
Uncited documents202053
Uncited documents202167
Uncited documents202260
Uncited documents202347
Cited documents199950
Cited documents200048
Cited documents200141
Cited documents200242
Cited documents200356
Cited documents200433
Cited documents200543
Cited documents200639
Cited documents200736
Cited documents200843
Cited documents200951
Cited documents201055
Cited documents201150
Cited documents201254
Cited documents201357
Cited documents201468
Cited documents201566
Cited documents201651
Cited documents201756
Cited documents201866
Cited documents201968
Cited documents202085
Cited documents202191
Cited documents202299
Cited documents202378
% Female Authors

Evolution of the percentage of female authors.

YearFemale Percent
199922.00
200011.11
200121.43
20029.52
200317.86
200413.04
200511.67
20068.96
200717.65
200810.00
200915.38
201016.44
201120.99
20129.64
201317.50
20149.86
201514.29
20167.58
201711.76
201812.50
201912.86
202013.33
202119.35
202218.52
202313.27
Documents cited by public policy (Overton)

Evolution of the number of documents cited by public policy documents according to Overton database.

DocumentsYearValue
Overton19990
Overton20000
Overton20010
Overton20020
Overton20031
Overton20040
Overton20050
Overton20060
Overton20071
Overton20080
Overton20090
Overton20101
Overton20111
Overton20121
Overton20131
Overton20140
Overton20151
Overton20160
Overton20171
Overton20180
Overton20190
Overton20200
Overton20210
Overton20220
Overton20230
Documents related to SDGs (UN)

Evoution of the number of documents related to Sustainable Development Goals defined by United Nations. Available from 2018 onwards.

DocumentsYearValue
SDG20180
SDG20190
SDG20200
SDG20210
SDG20220
SDG20230
Scimago Journal & Country Rank
Show this widget in your own website

Just copy the code below and paste within your html code:
SCImago Graphica
Explore, visually communicate and make sense of data with our new data visualization tool.
Metrics based on Scopus® data as of March 2024
Loading comments…

Leave a comment

* Required

* Required

* Required

* Required

The users of Scimago Journal & Country Rank have the possibility to dialogue through comments linked to a specific journal. The purpose is to have a forum in which general doubts about the processes of publication in the journal, experiences and other issues derived from the publication of papers are resolved. For topics on particular articles, maintain the dialogue through the usual channels with your editor.

Developed by:
Scimago Lab
Powered by:
Powered by scopus

Follow us on @ScimagoJR

Scimago Lab, Copyright 2007-2024. Data Source: Scopus®

Legal Notice

Privacy Policy