Inference Corporation was one of the original Artificial Intelligence Companies of the 1980's Symbolic Wave. It was founded i ... n 1979. Inference innovated an expert system development environment called ART (Adaptive Reasoning Tool) based on the OPS5 (Rete-Algorithm). ART ran on Lisp Machines such as the LMI Lamda and Symbolics LM-2 and Engineering Workstations that had Lisp environment support. Inference subsequently developed a PC product completely written in the C language called ART-IM. During the AI winter of the late 80's Inference explored Case Based Reasoning and created value in evaluating email and web data. In 1996 Inference went public on NASDAQ and was acquired by eGain in 2000 and its technology is used in CRM and other applications of Case Based Reasoning and Knowledge Management. read more