The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992.

[1] It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic.

[2] The journal is published by Springer Science+Business Media.

As of 2021, the editor-in-chief is Jasmin Blanchette, a professor of theoretical computer science at the Ludwig-Maximilians-Universität München.

The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.