James Robert Slagle | Academic Influence

James Robert Slagle's AcademicInfluence.com Rankings

James Robert Slagle

Computer Science

#1623

World Rank

#1678

Historical Rank

#791

USA Rank

Automated Reasoning

#22

World Rank

#22

Historical Rank

#7

USA Rank

Artificial Intelligence

#210

World Rank

#215

Historical Rank

#94

USA Rank

Database

#7504

World Rank

#7781

Historical Rank

#923

USA Rank

computer-science Degrees

Download Badge

Computer Science

James Robert Slagle's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Mathematics Stanford University

Similar Degrees You Can Earn

Why Is James Robert Slagle Influential?

(Suggest an Edit or Addition)

According to Wikipedia, James R. "Robert" Slagle is an American computer scientist notable for his many achievements in Artificial Intelligence. Since 1984 he has been the Distinguished Professor of Computer Science at the University of Minnesota, Minneapolis, with former appointments at Johns Hopkins University, the National Institutes of Health , the Naval Research Laboratory, Lawrence Radiation Laboratory, University of California and the Massachusetts Institute of Technology.

(See a Problem?)

James Robert Slagle'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

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity (1974) (286)
Automatic Theorem Proving With Renamable and Semantic Resolution (1967) (195)
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus (1963) (186)
A New Algorithm for Generating Prime Implicants (1970) (169)
A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space (1977) (161)
Experiments With Some Programs That Search Game Trees (1969) (133)
Artificial intelligence : the heuristic programming approach (1971) (122)
An Admissible and Optimal Algorithm for Searching AND/OR Graphs (1971) (93)
A Method for Evaluating Candidate Expert System Applications (1988) (88)
A Clustering and Data-Reorganizing Algorithm (1975) (87)
An explanation facility for today's expert systems (1989) (84)
Experiments with a deductive question-answering program (1965) (70)
Completeness Theorems for Semantic Resolution in Consequence-Finding (1969) (65)
Experiments With a Multipurpose, Theorem-Proving Heuristic Program (1968) (59)
An expert system for a resource allocation problem (1985) (52)
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets (1972) (52)
Using Rewriting Rules for Connection Graphs to Prove Theorems (1979) (42)
Experiments in automatic learning for a multipurpose hueristic program (1971) (38)
Application of game tree searching techniques to sequential pattern recognition (1971) (37)
Knowledge specification of an expert system (1990) (34)
An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions (1964) (33)
Experiments with the M & N tree-searching program (1970) (32)
AGNESS: A Generalized Network-based Expert System Shell (1986) (31)
Robustness of cooperation (1996) (31)
Experiments with some cluster analysis algorithms (1974) (28)
Rapid unsupervised connectionist learning for backing a robot with two trailers (1997) (26)
Experiment with an automatic theorem-prover having partial ordering inference rules (1973) (25)
Fast connectionist learning for trailer backing using a real robot (1996) (24)
Interpolation Theorems for Resolution in Lower Predicate Calculus (1970) (23)
Monitor: an expert system that validates and interprets time-dependent partial data based on a cystic fibrosis home monitoring program (1989) (21)
Finding resolution proofs and using duplicate goals in and/or trees (1971) (20)
Towards Automatic Auditing of Records (1978) (19)
An Intelligent Control Strategy for Computer Consultation (1984) (16)
An example of expert systems applied to clinical trials: analysis of serial graded exercise ECG test data. (1987) (16)
A Graphical Data Flow Language for Retrieval, Analysis, and Visualization of a Scientific Database (1996) (16)
Completeness of Linear Refutation for Theories with Equality (1971) (16)
Theorem proving (2003) (15)
Automating the Discovery of Causal Relationships in a Medical Records Database: The POSCH AI Project (1991) (14)
Application of clustering to estimate missing data and improve data integrity (1976) (14)
Heuristic Search Programs (1970) (14)
The partitioned support network for expert system justification (1989) (13)
A data-flow graphical user interface for querying a scientific database (1993) (12)
Notes. Improved Yields in the Preparation of Diacetyl Peroxide (1959) (11)
An object-oriented knowledge-based approach for formulating applied general equilibrium models☆ (1996) (10)
Partitioning input space for reinforcement learning for control (1997) (10)
Representing and reasoning with set referents and numerical quantifiers (1992) (10)
A network based expert system for intelligent design of mechanisms (1988) (10)
The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets (1996) (9)
The Eta Project: A Case Study of Expert Systems for analysis of Serial Clinical Trial Data (1986) (9)
A Method for Evaluating Candidate (1988) (9)
Automated Theorem-Proving for the Theories of Partial and Total Ordering (1975) (8)
A System that Translates Conceptual Structures into English (1992) (8)
An experimental study of an object recognition system that learns (1994) (8)
Decentralized problem solving using the double auction market institution (1997) (7)
The Oxidation of Hydrocarbons. III. The Decomposition of Acetyl Peroxide in Cyclohexene Solutions (1959) (7)
Decision support system for fire support command and control (1983) (7)
Extending conceptual structures: representation issues and reasoning operations (1992) (6)
An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control (2000) (6)
Using Artificial Neural Nets for Statistical Discovery: Observations after Using Backpropogation, Expert Systems, and Multiple-Linear Regression on Clinical Trial Data (1989) (6)
An Approach for Finding C-Linear Complete Inference Systems (1972) (5)
Expert System Consultation Control Strategy (1983) (5)
Connection Based Strategies for Deciding Propositional Temporal Logic (1997) (4)
THE PROSPECT OF AN UNDER WA TER NA VAL ROBOT (1980) (4)
A polymodal semantics for VHDL (1997) (4)
TREC-3: Experience With Conceptual Relations in Information Retrieval (1994) (4)
A Knowledge-Based System for the Image Correspondence Problem (1990) (4)
Connectionist reinforcement learning for control of robotic systems (1998) (4)
Expert Systems In Medical Studies - A New Twist (1986) (3)
Formal verification of vhdl designs using temporal logics (1998) (3)
EXPERT SYSTEM FOR INITIAL SELECTION OF DWELL LINKAGES. (1987) (3)
Lessons learned while implementing expert systems in the real world of clinical trials data analyses: The POSCH AI project (1988) (3)
Posch Experience Integrating Expert Systems and Clinical Data Analyses (1988) (3)
Specification and Verification of Network Protocols Using Executable Temporal Logic (1989) (3)
BATTLE - An Expert Decision Aid for Fire Support Command and Control (1982) (3)
Federal Programs in Artificial Intelligence (1977) (2)
Implementing a Semantic Lexicon (1999) (2)
Finding a good figure that approximately passes through given points (1980) (2)
Enhanced simulated annealing for automatic reconfiguration of multiprocessors in space (1989) (2)
List processing (2003) (2)
Temporal reasoning in medicine with an example in cystic fibrosis patient management-artificial intelligence mini-tutorial. 2 (1988) (2)
Freedom descriptions: A way to find figures that approximate given points (1984) (2)
Automated assistance for maintenance of medical expert systems: the POSCH AI project (1990) (2)
Applications of a generalized network-based expert system shell-artificial intelligence mini-tutorial. 1 (1988) (1)
Generalizations of a Complex Analogue of the Real Tchebichev Polynomial Theorem (1968) (1)
Experiments with some algorithms that find central solutions for pattern classification (1979) (1)
Architecture for explicit representation of cause and function in discrete event simulation modeling (1993) (1)
Reconstructive explanation for expert systems (1989) (1)
An artificial neural network with added physiological features (1990) (1)
Resource allocation by an expert system (1987) (1)
Using a symbiotic man/machine approach to evaluating visual clinical research data (1988) (1)
An expert system for treadmill excercise ECG test analysis (abtracts) (1986) (1)
A constant-level water bath for the student laboratory (1956) (1)
DFQL: A graphic data flow query language for retrieval, analysis, and visualization of a scientific database (1994) (1)
A journalistic explanation facility for an expert system shell (abstract only) (1987) (1)
The decomposition of diacetyl peroxide in cyclohexene (1958) (0)
Formulating an approach to develop a system for the temporal analysis of clinical trial data: The POSCH AI project (1990) (0)
Computational ecologies, social dilemmas, and the study of speculative dynamics in the double auction market institution (1996) (0)
Application of Automatic Clustering to Emitter Identification (1976) (0)
Expert Systems, Clinical Data Analyses, and Knowledge Discovery: The POSCH AI Project a (1992) (0)
DFQL A Graphical Data Flow Query Language for Retrieval , Analysis , and Visualization of a Scientific Database Final Report (2011) (0)
Using AGNESS (A Generalized Network-Based Expert System Shell) for Matching Images (1988) (0)
Ideas for Intelligent User Interface Design (2007) (0)
Embedding global physiological data in an artificial neural network (1996) (0)
MARK I Robot (1981) (0)
Heterogeneous discrete expenditure for diminishing returns (1986) (0)
Correction- Improved Yields in the Preparation of Diacetyl Peroxide. (1961) (0)
A fully-automated approach to creating computational semantic lexicons and its implementation framework (1996) (0)
Experimenting with artificial neural networks-artificial intelligence mini-tutorial. 3 (1988) (0)
A Triangulation MethodfortheSequential Mappingof Points fromN-SpacetoTwo-Space (1977) (0)
TRANSACTIONS ON COMPUTERS , MARCH 1968 Abstracts of Current Computer Literature (2006) (0)
Implementing expert systems into ongoing data analyses (1992) (0)
TEMPORAL REASONING IN WEDICINE WITH AN EXAHPLE IN CYSTIC FIBROSIS PATIENT HANAGEMWT* ARTIFICIAL INTELLIGWCE =NI-TUTORIAL PART I1 (1988) (0)
Connection Based Strategies for Logic rspositional Temporal (1997) (0)
A System that Learns to Recognize Objects (1989) (0)
On an algorithm for minimum-cost procedures (1964) (0)
A New Algorithm forGenerating PrimeImplicants (1970) (0)
Formal integration on a digital computer (1959) (0)
Self-Organizing Maps with Eligibility Traces: Unsupervised Control-Learning in Autonomous Robotic Systems (1996) (0)

This paper list is powered by the following services:

Other Resources About James Robert Slagle

en.wikipedia.org

What Schools Are Affiliated With James Robert Slagle?

James Robert Slagle is affiliated with the following schools: