Biography:James Robert Slagle

From HandWiki
Short description: American computer scientist

James R. "Robert" Slagle (March 1, 1934 – December 3, 2023) was 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 (Bethesda, Maryland), the Naval Research Laboratory, Lawrence Radiation Laboratory, University of California and the Massachusetts Institute of Technology.

In 1961 in his dissertation at the Massachusetts Institute of Technology with Marvin Minsky, Slagle developed the first expert system, SAINT (Symbolic Automatic INTegrator), which is a heuristic program that solves symbolic integration problems in freshman calculus.[1] Remarkably, among other recognitions, President Dwight D. Eisenhower awarded him $500 for his outstanding work as a blind student.[1]

Selected publications

[2][3][4][5]

1959

1960s

  • James Robert Slagle (1961). A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint). pdf
  • James Robert Slagle (1963). A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. Journal of the ACM, Vol. 10, No. 4
  • James Robert Slagle (1963). Game Trees, M & N Minimaxing, and the M & N alpha-beta procedure. Artificial Intelligence Group Report 3, UCRL-4671, University of California
  • James Robert Slagle (1964). An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions. Journal of the ACM, Vol. 11, No. 3
  • James Robert Slagle (1964). On an algorithm for minimum-cost procedures. Communications of the ACM, Vol. 7, No. 11
  • James Robert Slagle (1965). A multipurpose Theorem Proving Heuristic Program that learns. IFIP Congress 65, Vol. 2
  • James Robert Slagle (1965). Experiments with a deductive question-answering program. Communications of the ACM, Vol. 8, No. 12
  • James Robert Slagle (1967). Automatic Theorem Proving With Renamable and Semantic Resolution. Journal of the ACM, Vol. 14, No. 4
  • James Robert Slagle, Philip Bursky (1968). Experiments With a Multipurpose, Theorem-Proving Heuristic Program. Journal of the ACM, Vol. 15, No. 1:[6]
  • James Robert Slagle, John K. Dixon (1969). Experiments With Some Programs That Search Game Trees. Journal of the ACM, Vol. 16, No. 2, pdf, pdf
  • James Robert Slagle, Chin-Liang Chang, Richard C. T. Lee (1969). Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf

1970s

1980s

1990s

2000s

References

External links