John Alan Robinson

John Alan Robinson's AcademicInfluence.com Rankings

John Alan Robinson

Computer Science

#7037

World Rank

#7412

Historical Rank

Automated Reasoning

#14

World Rank

#14

Historical Rank

Artificial Intelligence

#2759

World Rank

#2802

Historical Rank

computer-science Degrees

John Alan Robinson

Mathematics

#6751

World Rank

#9296

Historical Rank

Measure Theory

#1571

World Rank

#1948

Historical Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Why Is John Alan Robinson Influential?

(Suggest an Edit or Addition)

(See a Problem?)

John Alan Robinson's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Machine-Oriented Logic Based on the Resolution Principle (1965) (4469)
Sampling autobiographical memory (1976) (304)
Automatic Deduction with Hyper-Resolution (1983) (259)
Handbook of Automated Reasoning (in 2 volumes) (2001) (201)
Personal Narratives Reconsidered (1981) (164)
Logic, form and function (1979) (152)
First Experience Memories: Contexts and Functions in Personal Histories (1992) (125)
Autobiographical memory: The next phase (1990) (110)
Temporal reference systems and autobiographical memory (1986) (99)
Theorem-Proving on the Computer (1963) (85)
Autobiographical memory: Autobiographical memory: a historical prologue (1986) (77)
Affect and retrieval of personal memories (1980) (68)
Autobiographical memory and self-narratives: A tale of two stories. (1998) (64)
Perspective, meaning, and remembering (1996) (64)
Logic: Form and function - The Mechanization of Deductive Reasoning (1979) (59)
Fragment memories mark the end of childhood amnesia (2005) (58)
Logic and logic programming (1992) (56)
Field articulation and working memory (1978) (35)
Proof = Guarantee + Explanation (2000) (25)
Novel Techniques for Visualizing Biological Information (1997) (22)
Formal and Informal Proofs (1991) (18)
New directions in mechanical theorem proving (1968) (18)
Knowledge of prior recall (1970) (17)
Computational Logic: Memories of the Past and Challenges for the Future (2000) (13)
Memory fragments as components of autobiographical knowledge (2007) (12)
Informal Rigor and Mathematical Understanding (1997) (9)
Memory and Intelligence: Age and Ability Differences in Strategies and Organization of Recall. (1977) (9)
Logic, Computers, Turing, and von Neumann (1994) (8)
Reply to Birnbaum (1970) (6)
On Automatic Reduction (1964) (4)
Logic programming —Past, present and future— (1983) (3)
Verbal mediation in reverse association: The role of temporal factors (1965) (3)
Rule Learning and Rule Interference in Trigram Encodings (1967) (2)
The Role of Logic in Computer Science and Artificial Intelligence (1992) (2)
Effects of intralist rule order on learning codeable trigrams. (1969) (2)
PSEUDO-PRIMACY EFFECTS IN FREE RECALL' (1973) (2)
Initial-recall grouping in free-recall learning (1970) (2)
Development of Logic Programming : What went wrong (2008) (1)
Context effects in retrospective judgments of personal experiences (1981) (1)
Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) (1986) (1)
Pseudo-Primacy Effects in Free Recall 1 (1973) (0)
Invited Editorial (2001) (0)
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming (1994) (0)
Effects of solution-word categorizability and intralist rule order on learning codeable trigrams (1969) (0)
Donald A. Norman & David E. Rumelhart (Eds.). Explorations in cognition. San Francisco: Freeman, 1975 (430 pp.) (1976) (0)
The Future of Logic Programming (Invited Paper) (1986) (0)
Unification and resolution in retrospect (1997) (0)
Is Logic Programming Enough? (1986) (0)
Vesper (2020) (0)
Chapter 7. Commentary: Memory, Self and Story (1993) (0)
Editor's Introduction (1984) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With John Alan Robinson?

John Alan Robinson is affiliated with the following schools:

University of Louisville

John Alan Robinson's Academic­Influence.com Rankings

Why Is John Alan Robinson Influential?

John Alan Robinson's Published Works

Published Works

What Schools Are Affiliated With John Alan Robinson?

John Alan Robinson's AcademicInfluence.com Rankings