Cycorp continues to push the boundaries of advanced knowledge representation, machine reasoning, and automated learning, via both internal research projects and in collaboration with a global community of research partners.  Current research focus areas include:

  • Modeling and reasoning about the world
  • High performance, scalable inference over complex formal models
  • Automated and semi-automated knowledge acqusition from people and text
  • Deep natural language understanding
  • Semantic design and control of user interfaces