John Kent Dixon, (born September 1, 1934 [1]) an American electrical engineer, mathematician, physicist and computer scientist. He graduated with BSEE degree from Lawrence Institute of Technology in 1957, and worked as an electrical engineer on military projects at Chrysler Missile and Bendix Research in Detroit. While working, he earned an MBA in 1964 and a MA in mathematics in 1965 at Wayne State University. In 1965 he moved away to study at the University of California at Livermore, where he worked with James R. Slagle on Theorem-Proving and the M & N search algorithm. He received the MS in physics in 1966 and a Ph.D. in computer science in 1970. He moved to the Washington, D.C. area and worked as a computer scientist doing research in the field of artificial intelligence at the Naval Research Laboratory and various business companies.
Bruce and John Kent Dixon [2]

Selected Publications

• James R. Slagle and 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 and John K. Dixon (1970). Experiments with the M & N Tree-Searching Program. Communications of the ACM, Vol. 13, No. 3
• John K. Dixon (1970). An improved method for solving deductive problems on a computer by compiled axioms. Doctoral Dissertation
• John K. Dixon (1973). Z-Resolution: Theorem-Proving with Compiled Axioms. Journal of the ACM, Vol. 20, No. 1
• Chin-Liang Chang, Richard C. T. Lee, John K. Dixon (1973). The Specialization of Programs by Theorem Proving. SIAM Journal on Computing, Vol 2, No. 1
• 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 and 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

External Links

• 19. Epilog - Whatever happened to ...? The Third Generation - John Kent Dixon from Dixon Family Page

References

1. ^ 19. Epilog - Whatever happened to ...? The Third Generation - John Kent Dixon from Dixon Family Page
2. ^ John Kent Dixon - Genealogy
3. ^ DBLP: John K. Dixon
4. ^ John Kent Dixon - ACM author profile page

What links here?