The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.

The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

Proof Pearls

In addition to regular research articles, the Journal of Automated Reasoning offers the special article type Proof Pearls. The goal is to disseminate insights gleaned from the growing body of machine-checked formalizations and proofs, obtained using both interactive and automated methods. Application areas include the full range from pure mathematics and logic to software and hardware verification. Proof Pearls should be short communications that focus on a few central ideas rather than extended research reports.

Contributions may include: a short, elegant proof of a self-standing result; a novel way of defining a fundamental concept; a notable approach to proving a key lemma in a larger development; a snippet of verified code, carefully engineered to balance efficiency with ease of verification; or a clever or impressive application of automated tools in a particular domain.

Proof Pearls adapt Jon Bentley's notion of a "programming pearl" to the verification paradigm. Proof Pearls should thus encapsulate fundamental insights that are adaptable and reusable, while being elegant and satisfying in their own right. Typical examples could be a verification of Huffman's algorithm, a perspicuous proof of the fundamental theorem of algebra, or a novel axiomatization of a particular algebraic system that was discovered using automated methods.

Submissions will undergo the usual refereeing process, and will be evaluated according to expository and theoretical merit. Systems and formalizations should be made available online.

  • A forum of information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications
  • Coverage balances theory, implementation and application
  • Focuses on a range of theoretical and applied topics in automated reasoning

Journal information

Editor-in-Chief
  • Tobias Nipkow
Publishing model
Hybrid. Learn about publishing OA with us

Journal metrics

1.431 (2019)
Impact factor
1.445 (2019)
Five year impact factor
83 days
Submission to first decision
309 days
Submission to acceptance
40,919 (2019)
Downloads

Latest articles

  1. Authors

    • Guillaume Ambal
    • Sergueï Lenglet
    • Alan Schmitt
    • Content type: OriginalPaper
This journal has 82 open access articles

Subscribe

eJournal
$99.00
Note this is only the net price. Taxes will be calculated during checkout.
  • Immediate online access with complete access to all articles
  • Downloadable in PDF format
  • Subscription expires 12/31/2020

About this journal

Electronic ISSN
1573-0670
Print ISSN
0168-7433
Abstracted and indexed in
  1. ACM Digital Library
  2. CNKI
  3. DBLP
  4. Dimensions
  5. EBSCO Applied Science & Technology Source
  6. EBSCO Computer Science Index
  7. EBSCO Computers & Applied Sciences Complete
  8. EBSCO Discovery Service
  9. EBSCO Engineering Source
  10. EBSCO STM Source
  11. EI Compendex
  12. Google Scholar
  13. INSPEC
  14. Institute of Scientific and Technical Information of China
  15. Japanese Science and Technology Agency (JST)
  16. Journal Citation Reports/Science Edition
  17. Mathematical Reviews
  18. Naver
  19. OCLC WorldCat Discovery Service
  20. ProQuest Advanced Technologies & Aerospace Database
  21. ProQuest Central
  22. ProQuest Computer Science
  23. ProQuest Computer and Information Systems Abstracts
  24. ProQuest Engineering
  25. ProQuest Materials Science and Engineering Database
  26. ProQuest SciTech Premium Collection
  27. ProQuest Technology Collection
  28. ProQuest-ExLibris Primo
  29. ProQuest-ExLibris Summon
  30. SCImago
  31. SCOPUS
  32. Science Citation Index Expanded (SciSearch)
  33. TD Net Discovery Service
  34. UGC-CARE List (India)
  35. zbMATH
Copyright information

Rights and permissions

Springer policies

© Springer Nature B.V.