Journals similar to Journal of Automated Reasoning
20 similar journals ranked by semantic similarity (SPECTER2 embeddings)
| # | Journal | Publisher | Field | Similarity | JLCS | OA | APC |
|---|---|---|---|---|---|---|---|
| 1 | ACM Transactions on Computational Logic | Association for Computing Machinery | Artificial Intelligence | 99.2% | 75 | No | - |
| 2 | Electronic Proceedings in Theoretical Computer Science | Open Publishing Association | Artificial Intelligence | 99.2% | 80 | Yes (diamond) | Free |
| 3 | Archive of Formal Proofs | - | Artificial Intelligence | 99.1% | 35 | No | - |
| 4 | Logical Methods in Computer Science | Logical Methods in Computer Science | Artificial Intelligence | 99.1% | 80 | Yes (diamond) | Free |
| 5 | Journal of Logical and Algebraic Methods in Programming | Elsevier | Artificial Intelligence | 99.0% | 55 | No | 2810 USD |
| 6 | Proceedings - Symposium on Logic in Computer Science | Institute of Electrical and Electronics Engineers | Artificial Intelligence | 99.0% | 35 | No | - |
| 7 | BRICS Report Series | Aarhus University Library | Artificial Intelligence | 99.0% | 55 | Yes (hybrid) | Free |
| 8 | Electronic Notes in Theoretical Computer Science | Elsevier | Artificial Intelligence | 99.0% | 75 | Yes (hybrid) | Free |
| 9 | Formal Methods in System Design | Springer Nature | Computational Theory and Mathematics | 98.9% | 75 | No | 3490 USD |
| 10 | Formal Aspects of Computing | Springer Nature | Artificial Intelligence | 98.8% | 55 | No | - |
| 11 | ACM SIGLOG News | Association for Computing Machinery | Artificial Intelligence | 98.7% | 55 | No | - |
| 12 | Journal of Functional Programming | Cambridge University Press | Artificial Intelligence | 98.7% | 75 | No | - |
| 13 | Mathematical Structures in Computer Science | Cambridge University Press | Artificial Intelligence | 98.7% | 75 | No | - |
| 14 | Journal of Logic and Computation | Oxford University Press | Artificial Intelligence | 98.7% | 75 | No | 4151 USD |
| 15 | Theory and Practice of Logic Programming | Cambridge University Press | Artificial Intelligence | 98.6% | 75 | No | - |
| 16 | Acta Informatica | Springer Nature | Computational Theory and Mathematics | 98.5% | 75 | No | 2990 USD |
| 17 | Proceedings of the ACM on Programming Languages | Association for Computing Machinery | Artificial Intelligence | 98.5% | 75 | Yes (hybrid) | Free |
| 18 | Journal on Satisfiability Boolean Modeling and Computation | IOS Press | Computational Theory and Mathematics | 98.4% | 55 | Yes (hybrid) | Free |
| 19 | Electronic Notes in Theoretical Informatics and Computer Science | Centre pour la Communication Scientifique Directe | Artificial Intelligence | 98.2% | 55 | No | - |
| 20 | Nordic Journal of Computing | - | Artificial Intelligence | 98.2% | 35 | No | - |
Need recommendations for your own manuscript?
Try the AI Journal Finder View on JournalLens