Journal Information
Journal of Automated Reasoning
https://link.springer.com/journal/10817
Impact Factor:
0.900
Publisher:
Springer
ISSN:
0168-7433
Viewed:
13771
Tracked:
4
Call For Papers
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 2024-07-21
Related Journals
CCFFull NameImpact FactorPublisherISSN
ACM Transactions on Multimedia Computing, Communications, and Applications5.200ACM1551-6857
Electronics2.600MDPI2079-9292
cInternational Journal of Knowledge Management IGI Global1548-0666
ACM Transactions on Parallel Computing0.900ACM2329-4949
Information Technology and Management2.300Springer1385-951X
Journal of Cloud Computing Springer2192-113X
cJournal of Computer Information Systems2.500Taylor & Francis0887-4417
Language Learning & Technology3.800University of Hawaii Press1094-3501
Computational Mathematics and ModelingSpringer1046-283X
Optical Memory and Neural Networks1.000Springer1060-992X
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ab2TARKInternational Conference on Theoretical Aspects of Rationality and Knowledge2012-09-202012-10-292013-01-07
baa1ECCVEuropean Conference on Computer Vision2024-03-072024-05-092024-09-29
ba*a1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2024-10-092024-12-232025-05-19
aaa1ASEInternational Conference on Automated Software Engineering2024-05-312024-07-252024-10-27
ISCMAInternational Symposium on Computational Media Art2018-09-012018-10-152019-01-04
WATInternational Workshop on Automation Technologies2022-11-152022-12-012022-12-16
MIGACM SIGGRAPH conference on Motion, Interaction and Games2024-07-152024-09-062024-11-21
ICETACInternational Conference on Electrical Technology and Automatic Control2021-10-082021-10-102021-10-23
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2022-10-202022-11-052022-11-18
ADHIPEAI International Conference on Advanced Hybrid Information Processing2018-06-302018-07-302018-10-05
Recommendation