Journal Information

Journal of Automated Reasoning

Please Login to view website of journal

Impact Factor:
0.8
Publisher:
Springer
ISSN:
0168-7433
Viewed:
23953
Tracked:
4

Call For Papers

Journal of Automated Reasoning is an academic journal published by Springer. (ISSN 0168-7433, impact factor 0.8, CCF B).

Aims and scope The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof. Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning.
Last updated by Dou Sun in

Special Issues

Special Issue on Selected Extended Papers of CADE 2025 Submission Date: 2026-06-01 This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 30th International Conference on Automated Deduction (CADE-30) which took place from July 28th to July 31st, 2025 in Stuttgart, Germany. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. https://link.springer.com/collections/fjjdcbabae
Last updated by Dou Sun in

Related Journals

CCFFull NameImpact FactorPublisherISSN
aIEEE Transactions on Image Processing13.7IEEE1057-7149
IEEE Transactions on Automatic Control7.0IEEE0018-9286
bIEEE Transactions on Automation Science and Engineering6.4IEEE1545-5955
Journal of Computer Assisted Learning4.6Wiley-Blackwell0266-4909
bAutomated Software Engineering3.1Springer0928-8910
bInternational Journal of Approximate Reasoning3.0Elsevier0888-613X
bMachine Learning2.9Springer0885-6125
cIET Image Processing2.3IET1751-9659
bJournal of Automated Reasoning0.8Springer0168-7433
Automation and Remote Control0.600Springer0005-1179

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
cATCIEEE International Conference on Autonomous and Trusted Computing2026-04-012026-07-012026-09-07
aaa1ASEInternational Conference on Automated Software Engineering2026-03-262026-05-252026-10-12
ba*b1IJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
cba1ICIPInternational Conference on Image Processing2026-01-212026-04-222026-09-13
ba*a2ICAPSInternational Conference on Automated Planning and Scheduling2025-12-012026-02-162026-06-27
b3ICWLInternational Conference on Web-based Learning2025-09-302025-10-202025-11-30
ba*a2ISMARIEEE International Symposium on Mixed and Augmented Reality2025-04-042025-07-222025-10-08
bcb4ICCBRInternational Conference on Case-Based Reasoning2025-03-162025-04-062025-06-30
aTABLEAUXInternational Conference on Automated Reasoning with Analytic Tableaux and Related Methods2017-04-282017-06-052017-09-25
baa2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06

Advertisment