Who publishes Journal of Automated Reasoning?

Journal of Automated Reasoning is published by Springer.

What is the ISSN of Journal of Automated Reasoning?

The ISSN of Journal of Automated Reasoning is 0168-7433.

What is the impact factor of Journal of Automated Reasoning?

The reported impact factor of Journal of Automated Reasoning is 0.8. Impact factor values are reproduced from publishers and may lag the latest JCR release.

What is the CCF ranking of Journal of Automated Reasoning?

Journal of Automated Reasoning is ranked CCF B in the China Computer Federation journal catalogue.

Journal Information

Journal of Automated Reasoning

Please Login to view website of journal

Free account: view official websites, track deadlines, and get email reminders.

Login Register

Impact Factor:

0.8

Publisher:

Springer

ISSN:

0168-7433

Viewed:

24465

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 on 2026-05-10

Related Journals

Full Name	Impact Factor	Publisher	ISSN
International Journal of Information Security	3.2	Springer	1615-5262
International Journal of Automation and Computing		Springer	1476-8186
Journal of Cloud Computing		Springer	2192-113X
Journal of Big Data	6.4	Springer	2196-1115
Journal of Computational Electronics	2.5	Springer	1569-8025
Journal of Interaction Science		Springer	2194-0827
Journal of Signal Processing Systems	1.8	Springer	1939-8018
Journal of Computer and Systems Sciences International	0.500	Springer	1064-2307
Journal of Medical Systems	5.7	Springer	0148-5598
Journal of Intelligent Manufacturing	7.4	Springer	0956-5515

Related Conferences

CCF	CORE	QUALIS	Short	Full Name	Submission	Notification	Conference
b	a*	b1	IJCAR	International Joint Conference on Automated Reasoning	2026-02-06	2026-04-14	2026-07-26
	a		TABLEAUX	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods	2017-04-28	2017-06-05	2017-09-25
a	a	a1	ASE	International Conference on Automated Software Engineering	2026-03-26	2026-05-25	2026-10-12
			TIME	International Symposium on Temporal Representation and Reasoning	2016-06-20	2016-07-25	2016-10-17
	c	b2	IDEAL	International Conference on Intelligent Data Engineering and Automated Learning			2026-11-22
b	a	a2	CADE	International Conference on Automated Deduction	2017-02-11	2017-04-22	2017-08-06
b	a*	a2	KR	International Conference on the Principles of Knowledge Representation and Reasoning	2026-02-08	2026-04-13	2026-07-20
			IJCLR	International Joint Conference on Learning & Reasoning	2026-05-31	2026-07-20	2026-09-16
c	a	b1	ATVA	International Symposium on Automated Technology for Verification and Analysis	2025-04-25	2025-07-04	2025-10-27
			CAVS	IEEE Connected and Automated Vehicles Symposium	2020-06-15	2020-07-31	2020-10-04

Comments 0

No comments yet.

Please Login to post a comment