2 papers
cs.AI2024
Towards High-Level Modelling in Automated Planning
Carla Davesa Sureda, Joan Espasa Arxer, Ian Miguel +1
Planning is a fundamental activity, arising frequently in many contexts, from daily tasks to industrial processes. The planning task consists of selecting a sequence of actions to…
cs.AI2024
Automating Reformulation of Essence Specifications via Graph Rewriting
Ian Miguel, András Z. Salamon, Christopher Stone
Formulating an effective constraint model of a parameterised problem class is crucial to the efficiency with which instances of the class can subsequently be solved. It is difficul…