About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
Automated Reasoning Series
›
top-articles
Automated Reasoning Series
0.5
(top 50%)
impact factor
20
(top 100%)
papers
297
(top 50%)
citations
8
(top 50%)
h
-index
0.5
(top 50%)
extended IF
25
all documents
330
doc citations
16
(top 50%)
g
-index
Top Articles
#
Title
Journal
Year
Citations
1
MJRTY—A Fast Majority Vote Algorithm
Automated Reasoning Series
1991
122
2
What Are the Limitations of the Situation Calculus?
Automated Reasoning Series
1991
52
3
Similarity, Uncertainty and Case-Based Reasoning in Patdex
Automated Reasoning Series
1991
35
4
How the Brain Adjusts Synapses—Maybe
Automated Reasoning Series
1991
22
5
METEORs: High Performance Theorem Provers using Model Elimination
Automated Reasoning Series
1991
16
6
Formal and Informal Proofs
Automated Reasoning Series
1991
13
7
Resolution Proof Systems
Automated Reasoning Series
1996
12
8
Reasoning in Paraconsistent Logics
Automated Reasoning Series
1991
12
9
Automated Reasoning
Automated Reasoning Series
1991
11
10
Perspectives on Automated Deduction
Automated Reasoning Series
1991
9
11
Automated Reasoning and Bledsoe’s Dream for the Field
Automated Reasoning Series
1991
8
12
The Use of Proof Plans for Normalization
Automated Reasoning Series
1991
8
13
A Biographical Sketch of W. W. Bledsoe
Automated Reasoning Series
1991
2
14
The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II
Automated Reasoning Series
1991
2
15
Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages
Automated Reasoning Series
1991
1
16
Aligning Multiple RNA Sequences
Automated Reasoning Series
1991
0
17
Nonmonotonic Resolution Inference Systems
Automated Reasoning Series
1996
0
18
Logical Preliminaries
Automated Reasoning Series
1996
0
19
Propositional Resolution Logics
Automated Reasoning Series
1996
0
20
First-Order Resolution Proof Systems
Automated Reasoning Series
1996
0
site/software ©
exaly
; All materials licenced under
CC by-SA
.