Artem Davydov, Aleksandr Larionov. Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas. In 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020, Prague, Czech Republic, June 29 - July 2, 2020. pages 727-732, IEEE, 2020. [doi]
Abstract is missing.