James+R.+Slagle

an American mathematician, computer scientist, and since 1984 Distinguished Professor of Computer Science at the [|University of Minnesota], [|Minneapolis], with former appointments at [|Johns Hopkins University], [|National Institutes of Health], [|Bethesda, Maryland], [|Naval Research Laboratory], Lawrence Radiation Laboratory, [|University of California] and Massachusetts Institute of Technology. As [|Freshman] [|Calculus] Student and Ph.D. candidate at MIT, supervised by Marvin Minsky in 1961, he wrote his dissertation entitled //Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint)//, which is acknowledged as first [|Expert system]. His further research interests covers [|heuristic] [|Theorem-Proving] and as application heuristic search.
 * Home * People * James R. Slagle**
 * [[image:Slagle.JPG]] ||~  || **James Robert Slagle**, (born March 1, 1934)

President [|Dwight D. Eisenhower], in 1959, presented him with five hundred dollars, awarded by Recording for the [|Blind Inc.], for outstanding work as a blind student. || toc =Saint= Quote by Marvin Minsky on Slagle's //**S**ymbolic **A**utomatic **Int**egrator//, discussing his book //[|The Emotion Machine]//  :  =Theorem-Proving= Abstract of //Experiments With a Multipurpose, Theorem-Proving Heuristic Program//. from the ACM Portal:  =M & N procedure= Abstract of //Experiments with the M & N Tree-Searching Program// from the ACM Portal:
 * James R. Slagle ||~  ||^   ||

=Selected Publications=

1959

 * James R. Slagle (**1959**). //[|Formal integration on a digital computer]//. 14th national meeting of the Association for Computing Machinery

1960 ...

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

1970 ...

 * James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (**1970**). //[|A New Algorithm for Generating Prime Implicants]//. [|IEEE Transactions on Computers], Vol. 19, No. 4
 * James R. Slagle, John K. Dixon (**1970**). //[|Experiments with the M & N Tree-Searching Program]//. Communications of the ACM, Vol. 13, No. 3
 * James R. Slagle (**1971**).// Artificial Intelligence: The Heuristic Programming Approach//. McGraw-Hill, New York. [|amazon]
 * James R. Slagle, [|Carl D. Farell] (**1971**). //[|Experiments in automatic learning for a multipurpose hueristic program]//. Communications of the ACM, Vol. 14, No. 2
 * James R. Slagle, Richard C. T. Lee (**1971**). //[|Application of game tree searching techniques to sequential pattern recognition]//. Communications of the ACM, Vol. 14, No. 2
 * Chin-Liang Chang, James R. Slagle (**1979**). //[|Using Rewriting Rules for Connection Graphs to Prove Theorems]//. Artificial Intelligence

1980 ...

 * James R. Slagle, John K. Dixon (**1980**). //[|Finding a good figure that approximately passes through given points]//. Pattern Recognition, 1980
 * John K. Dixon, [|Herbert A. Johnson], James R. Slagle (**1980**). //[|The Prospect of an Under Water Naval Robot]//. [|Naval Engineers Journal, Vol. 92, No. 1]
 * John K. Dixon, [|Susan A. Bouchard], [|William G. Kennedy], James R. Slagle (**1981**). //[|MARK I Robot]//. IJCAI'1981, [|pdf]
 * James R. Slagle, John K. Dixon (**1984**). //[|Freedom descriptions: A way to find figures that approximate given points]//. Pattern Recognition, 1984
 * [|Henry Hamburger], James R. Slagle (**1986**). //[|Heterogeneous discrete expenditure for diminishing returns]//. [|Naval Research Logistics Quarterly, Vol. 33, No. 2]
 * [|Erach A. Irani], [|John P. Matts], [|John M. Long], James R. Slagle, POSCH group (**1989**). //Using Artificial Neural Nets for Statistical Discovery: Observations after Using Backpropogation, Expert Systems, and Multiple-Linear Regression on Clinical Trial Data//. University of Minnesota, Minneapolis, MN 55455, USA, Complex Systems 3, [|pdf]

1990 ...

 * [|Erach A. Irani], James R. Slagle, [|John M. Long], [|John P. Matts] (**1990**). //[|Formulating an approach to develop a system for the temporal analysis of clinical trial data: The POSCH AI project]//. [|Annals of Mathematics and Artificial Intelligence, Volume 2, Numbers 1-4]
 * James R. Slagle, [|Zbigniew Wieckowski] a.k.a. Bishak (**1994**). //[|Ideas for Intelligent User Interface Design]//.

2000 ...

 * [|Dean F. Hougen], [|Maria Gini], James R. Slagle (**2000**). //[|An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control]//. ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning

=External Links=
 * [|James Robert Slagle from Wikipedia]
 * [|James Robert Slagle (born 1934), American computer science educator | Prabook]
 * [|The Mathematics Genealogy Project - James Robert Slagle]
 * [|Winners of Past Over-The-Board Tournaments], [|United States Braille Chess Association]
 * [|Slagle, who is blind, received the Class A trophy], [|The Free Lance-Star] February 01, 1971, from [|Google news]
 * [|Elected AAAI Fellows]
 * [|Expert Systems with Applications - Editorial Board], [|pdf]

=References= =What links here?= include page="James R. Slagle" component="backlinks" limit="40"
 * Up one level**