John K. Dixon
John Kent Dixon, (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 his MS in physics in 1966 and a Ph.D. in computer science in 1970 at University of California, Davis. 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.
Selected Publications
1969
- James R. Slagle, John K. Dixon (1969). Experiments With Some Programs That Search Game Trees. Journal of the ACM, Vol. 16, No. 2
1970 ...
- James R. Slagle, 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. Ph.D. thesis, [https://en.wikipedia.org/wiki/University_of_California,_Davis University of California, Davis
- 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, Vol 12, No 1
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, Vol. 17, No. 6
