Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas | IEEE Conference Publication | IEEE Xplore