Concepedia

James R. Slagle

JR

36

Publications

1.7K

Citations

23

H-Index

1959

Active since

Affiliations

University of Minnesota(Current)

National Institutes of Health

Lawrence Livermore National Laboratory

United States Naval Research Laboratory

United States Public Health Service

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

Top concepts

EngineeringComputer ScienceAutomated ReasoningData ScienceIntelligent SystemsArtificial IntelligenceFormal MethodsBusinessData MiningExpert Systems

Publications per year

1959–2002

36

Publications

36

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

James R. Slagle · Journal of the ACM · 1974 · 254 citations · Full text

Theory Of Computing, Formal Logic, Engineering +15

Automatic Theorem Proving With Renamable and Semantic Resolution

James R. Slagle · Journal of the ACM · 1967 · 170 citations · Full text

Automatic Theorem, Engineering, Automated Proof +16

A New Algorithm for Generating Prime Implicants

James R. Slagle, Chin-Liang Chang, R.C.T. Lee · IEEE Transactions on Computers · 1970 · 138 citations

Circuit Complexity, Engineering, Boolean Function +15

Experiments With Some Programs That Search Game Trees

James R. Slagle, John E. Dixon · Journal of the ACM · 1969 · 117 citations · Full text

Search Optimization, Artificial Intelligence, Game Ai +16

An admissible and optimal algorithm for searching AND/OR graphs

C. L. Chang, James R. Slagle · Artificial Intelligence · 1971 · 87 citations

Engineering, Information Retrieval, Graph Theory +8

Rows per page

1–5 of 36