The correct answer is: C. Symbolics
Symbolics was a computer company founded in 1980 by Richard Stallman, Guy Steele, and Gerald Jay Sussman. The company was based on research at the MIT AI Lab, and it developed and sold Lisp machines, which were computers designed for artificial intelligence research. Symbolics was one of the most successful Lisp machine companies, and it played a major role in the development of the Lisp programming language.
AI corp was a company founded in 1979 by David Waltz. The company developed and sold AI software, and it was one of the first companies to offer AI products to the commercial market. However, AI corp was not successful, and it went out of business in 1984.
LMI was a company founded in 1958 by Kenneth Olsen. The company developed and sold computers, and it was one of the first companies to offer commercial minicomputers. LMI also did some research in artificial intelligence, but it was not a major player in the field.
Therefore, the correct answer is Symbolics.