5 papers · 1 filter
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…
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…
Towards Exploratory Reformulation of Constraint Models
Ian Miguel, András Z. Salamon, Christopher Stone
It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from…
Towards a Model of Puzznic
Joan Espasa, Ian P. Gent, Ian Miguel +3
We report on progress in modelling and solving Puzznic, a video game requiring the player to plan sequences of moves to clear a grid by matching blocks. We focus here on levels wit…
Challenges in Modelling and Solving Plotting with PDDL
Joan Espasa, Ian Miguel, Peter Nightingale +2
We study a planning problem based on Plotting, a tile-matching puzzle video game published by Taito in 1989. The objective of this game is to remove a target number of coloured blo…