About: Robotics, agent technologies, automated planning, knowledge representation, or machine learning. Basic background in formal methods (logic and/or statistics) and experience with applications is a plus.     Permalink

an Entity references as follows: