The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic.[2]
The journal is published by Springer Science+Business Media. As of 2021, the editor-in-chief is Jasmin Blanchette, an professor of theoretical computer science at the Ludwig-Maximilians-Universität München. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.[3]
^Robert Veroff (1997), Automated reasoning and its applications, MIT Press, ISBN 9780262220552
^Allen B. Tucker (28 June 2004), Computer science handbook, CRC Press, ISBN 9780203494455
^"Journal of Automated Reasoning". Springer. Retrieved 11 January 2021.
and 24 Related for: Journal of Automated Reasoning information
most developed subareas ofautomatedreasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving)...
The JournalofAutomatedReasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated...
removed squares are of different colors. This problem has been used as a test case for automatedreasoning, creativity, and the philosophy of mathematics. The...
Fusion Journalof Artificial Intelligence Research Journalof Automata, Languages and Combinatorics JournalofAutomatedReasoningJournalof Bioinformatics...
artificial intelligence (AI), commonsense reasoning is a human-like ability to make presumptions about the type and essence of ordinary situations humans encounter...
problem". JournalofAutomatedReasoning. 24 (1): 165–203. CiteSeerX 10.1.1.104.962. doi:10.1023/A:1006326723002. S2CID 3114247. in which an instance of DES...
and W. Schelter. Proving Geometry Theorems with Rewrite Rules JournalofAutomatedReasoning, 1986. In memoriam. Access in 2007-07-05. [1] Archived September...
an annual competition of fully automated theorem provers for classical logic CASC is associated with the Conference on Automated Deduction and the International...
particularly in automated theorem proving, rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the...
Path Indexing for Term Retrieval, JournalofAutomatedReasoning, 9(2), 1992 P. Graf, Substitution Tree Indexing, Proc. of RTA, Lecture Notes in Computer...
ProVerif is a software tool for automatedreasoning about the security properties of cryptographic protocols. The tool has been developed by Bruno Blanchet...
Logical reasoning is a mental activity that aims to arrive at a conclusion in a rigorous way. It happens in the form of inferences or arguments by starting...
mechanized study in intuitionistic logic using Coq" (PDF), JournalofAutomatedReasoning, 62: 1–68, doi:10.1007/s10817-017-9422-8, S2CID 25900234 Pambuccian...
particular for the Isabelle proof assistant; he was the editor of the JournalofAutomatedReasoning up to January 1, 2021. Moreover, he focuses on programming...
Interactive Theorem Proving, JournalofAutomatedReasoning and the Journalof Formalized Reasoning. The distinctive feature of the Mizar language is its...