Company specializing in knowledge representation and reasoning applications. Produces ErgoAI, contributes to XSB and Flora.
Members include: Grosof, Kifer