Journal Information
Journal of Automated Reasoning
http://www.springer.com/computer/theoretical+computer+science/journal/10817Impact Factor: |
0.944 |
Publisher: |
Springer |
ISSN: |
0168-7433 |
Viewed: |
12012 |
Tracked: |
4 |
Call For Papers
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. Provides a forum for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications Covers a wide range of automatic and interactive reasoning tools, including SAT and SMT solvers, automatic theorem provers based on superposition or tableaux, proof assistants, and program verifiers Focuses on a range of theoretical and applied topics that involve logical reasoning by computer
Last updated by Dou Sun in 2022-01-30
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | International Journal of Approximate Reasoning | 3.816 | Elsevier | 0888-613X |
Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 | ||
Progress in Organic Coatings | 5.161 | Elsevier | 0300-9440 | |
The International Journal of Advanced Manufacturing Technology | 3.226 | Springer | 0268-3768 | |
b | Automated Software Engineering | 1.273 | Springer | 0928-8910 |
IEEE Transactions on Automatic Control | 5.093 | IEEE | 0018-9286 | |
Automatic Documentation and Mathematical Linguistics | Springer | 0005-1055 | ||
Journal of Computer Assisted Learning | 2.451 | Wiley-Blackwell | 0266-4909 | |
b | Machine Learning | 2.940 | Springer | 0885-6125 |
c | IET Image Processing | 0.753 | IET | 1751-9659 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Approximate Reasoning | 3.816 | Elsevier |
Journal of Formalized Reasoning | Alma Mater Studiorum | |
Progress in Organic Coatings | 5.161 | Elsevier |
The International Journal of Advanced Manufacturing Technology | 3.226 | Springer |
Automated Software Engineering | 1.273 | Springer |
IEEE Transactions on Automatic Control | 5.093 | IEEE |
Automatic Documentation and Mathematical Linguistics | Springer | |
Journal of Computer Assisted Learning | 2.451 | Wiley-Blackwell |
Machine Learning | 2.940 | Springer |
IET Image Processing | 0.753 | IET |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
TARK | International Conference on Theoretical Aspects of Rationality and Knowledge | 2012-09-20 | 2013-01-07 |
ECCV | European Conference on Computer Vision | 2022-03-07 | 2022-10-24 |
AAMAS | International Joint Conference on Autonomous Agents and Multi-agent Systems | 2023-10-02 | 2024-05-06 |
ASE | International Conference on Automated Software Engineering | 2023-04-28 | 2023-09-11 |
ISCMA | International Symposium on Computational Media Art | 2018-09-01 | 2019-01-04 |
WAT | International Workshop on Automation Technologies | 2022-11-15 | 2022-12-16 |
MIG | ACM SIGGRAPH conference on Motion, Interaction and Games | 2019-07-22 | 2019-10-28 |
ICETAC | International Conference on Electrical Technology and Automatic Control | 2021-10-08 | 2021-10-23 |
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-18 |
ADHIP | EAI International Conference on Advanced Hybrid Information Processing | 2018-06-30 | 2018-10-05 |
Recommendation