Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas.

Artem Davydov, Aleksandr Larionov

Browse the full CoDIT paper archive.