James R. Slagle - Concepedia

Author

James R. Slagle

Also Known As

J. R. Slagle, J. Slagle, J.R. Slagle, JAMES R. SLAGLE, James R Slagle, James R. Slagle, James Robert Slagle, James Slagle, John M. Long, Patterson Cc

123

Publications

2.1K

Citations

H-Index

133

Concepts

All Affiliations

University of Minnesota National Institutes of Health Lawrence Livermore National Laboratory United States Naval Research Laboratory United States Public Health Service

About

James R. Slagle is an author at University of Minnesota specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	29	1.5K
2	Business	7	7	344
3	Arts	3	3	225
4	Management	2	2	24
5	Language Studies	1	1	44

James R. Slagle

Publications

1.7K

Citations

H-Index

Page 1

	Year	Citations
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity James R. Slagle Journal of the ACM Theory Of ComputingFormal LogicEngineeringResolution Principle ProgramsAutomated Reasoning	1974	254
Automatic Theorem Proving With Renamable and Semantic Resolution James R. Slagle Journal of the ACM Automatic TheoremEngineeringAutomated ProofSemanticsSemantic Web	1967	170
A New Algorithm for Generating Prime Implicants James R. Slagle, Chin-Liang Chang, R.C.T. Lee IEEE Transactions on Computers Circuit ComplexityEngineeringBoolean FunctionComputational Number TheoryData Mining	1970	138
Experiments With Some Programs That Search Game Trees James R. Slagle, John E. Dixon Journal of the ACM Search OptimizationArtificial IntelligenceGame AiEngineeringCombinatorial Game	1969	117
An admissible and optimal algorithm for searching AND/OR graphs C. L. Chang, James R. Slagle Artificial Intelligence EngineeringInformation RetrievalGraph TheoryAutomated ReasoningAlgorithm Design	1971	87
A Clustering and Data-Reorganizing Algorithm James R. Slagle, C. L. Chang, Stephen R. Heller IEEE Transactions on Systems Man and Cybernetics Cluster ComputingEngineeringNetwork AnalysisData-reorganizing AlgorithmCombinatorial Data Analysis	1975	83
A method for evaluating candidate expert system applications James R. Slagle, Michael R. Wick AI Magazine EngineeringExpert System ApplicationSoftware EngineeringExpert System ApplicationsIntelligent Systems	1988	78
Experiments with a deductive question-answering program James R. Slagle Communications of the ACM EngineeringBibliometricsJournalismNatural Language ProcessingInformation Retrieval	1965	71
An explanation facility for today's expert systems Michael R. Wick, James R. Slagle IEEE Expert Artificial IntelligenceEngineeringModel-based ReasoningIntelligent SystemsCommunication	1989	68
Experiments With a Multipurpose, Theorem-Proving Heuristic Program James R. Slagle, Philip Bursky Journal of the ACM EngineeringSearch ProcedureCombinatorial GameGame TheoryComputational Complexity	1968	53

Page 1