F Leoty, J Thai, B Archimède,
P Fillatreau… - RobOntics@ RO …, 2023 - ceur-ws.org
Earlier work has introduced ontologies to improve the performance of task and motion
planning. However, these approaches have not explicitly used first-order axiomatizations for …