Specializing in automated reasoning and machine learning technologies for business rule processing, intelligent agents, information retrieval, and diagnosis.