Cycorp
Ontological Engineers, Automated Inference Programmers

High-Level Areas of Interest
Applications, Cognitive Systems, Game Playing and Interactive Entertainment, Heuristic Search and Optimization, Human-Computation and Crowd Sourcing, Humans and AI, Knowledge Representation and Reasoning, Machine Learning Applications, Machine Learning Methods, Multiagent Systems, NLP and Knowledge Representation, NLP and Machine Learning, Reasoning under Uncertainty, Search and Constraint Satisfaction, Automated logical inference