John+K.+Dixon

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. || =Selected Publications=
 * Home * People * John K. Dixon**
 * [[image:bruceandjohndixon.jpg link="http://www.geni.com/people/John-Dixon/317593801290002328"]] ||~ || **John Kent Dixon**, (born September 1, 1934 )
 * Bruce and John Kent Dixon ||~ ||^ ||
 * 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= =What links here?= include page="John K. Dixon" component="backlinks" limit="40"
 * Up one level**