Joan Espasa
YOU?
Author Swipe
View article: Conditional Effects in Numeric Planning Reloaded
Conditional Effects in Numeric Planning Reloaded Open
Automated planning, a core area of artificial intelligence, aims to generate action sequences that achieve specified goals based on a formal model. In classical planning, where only Boolean state variables are allowed, conditional effects …
View article: Diverse Planning with Simulators via Linear Temporal Logic
Diverse Planning with Simulators via Linear Temporal Logic Open
Autonomous agents rely on automated planning algorithms to achieve their objectives. Simulation-based planning offers a significant advantage over declarative models in modelling complex environments. However, relying solely on a planner t…
View article: Towards High-Level Modelling in Automated Planning
Towards High-Level Modelling in Automated Planning Open
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 achieve a specified goal from specified initial conditions.…
View article: Plotting: a case study in lifted planning with constraints
Plotting: a case study in lifted planning with constraints Open
We study a planning problem based on Plotting, a tile-matching puzzle video game published by Taito in 1989. The objective of this turn-based game is to remove a target number of coloured blocks from a grid by sequentially shooting blocks …
View article: Behaviour Planning: A Toolkit for Diverse Planning
Behaviour Planning: A Toolkit for Diverse Planning Open
Diverse planning approaches are utilised in real-world applications like risk management, automated streamed data analysis, and malware detection. The current diverse planning formulations encode the diversity model as a distance function,…
View article: The 2023 International Planning Competition
The 2023 International Planning Competition Open
In this article, we present an overview of the 2023 International Planning Competition. It featured five distinct tracks designed to assess cutting‐edge methods and explore the frontiers of planning within these settings: the classical (de…
View article: On Grid Graph Reachability and Puzzle Games
On Grid Graph Reachability and Puzzle Games Open
Many puzzle video games, like Sokoban, involve moving some agent in a maze. The reachable locations are usually apparent for a human player, and the difficulty of the game is mainly related to performing actions on objects, such as pushing…
View article: Towards Automatic Design of Factorio Blueprints
Towards Automatic Design of Factorio Blueprints Open
Factorio is a 2D construction and management simulation video game about building automated factories to produce items of increasing complexity. A core feature of the game is its blueprint system, which allows players to easily save and re…
View article: A Good Snowman is Hard to Plan
A Good Snowman is Hard to Plan Open
In this work we face a challenging puzzle video game: A Good Snowman is Hard to Build. The objective of the game is to build snowmen by moving and stacking snowballs on a discrete grid. For the sake of player engagement with the game, it i…
View article: Towards a Model of Puzznic
Towards a Model of Puzznic Open
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 with no moving blocks. We compare a planning approach and thre…
View article: Challenges in Modelling and Solving Plotting with PDDL
Challenges in Modelling and Solving Plotting with PDDL Open
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 blocks from a grid by sequentially shooting blocks into the gr…
View article: Bridging the Gap between Structural and Semantic Similarity in Diverse Planning
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning Open
Diverse planning is the problem of finding multiple plans for a given problem specification, which is at the core of many real-world applications. For example, diverse planning is a critical piece for the efficiency of plan recognition sys…
View article: A Framework for Generating Informative Benchmark Instances
A Framework for Generating Informative Benchmark Instances Open
Benchmarking is an important tool for assessing the relative performance of alternative solving approaches. However, the utility of benchmarking is limited by the quantity and quality of the available problem instances. Modern constraint p…
View article: A Preliminary Case Study of Planning With Complex Transitions: Plotting
A Preliminary Case Study of Planning With Complex Transitions: Plotting Open
Plotting is a tile-matching puzzle video game published by Taito in 1989. Its objective is to reduce a given grid of coloured blocks down to a goal number or fewer. This is achieved by the avatar character repeatedly shooting the block it …
View article: Exploring Lifted Planning Encodings in Essence Prime
Exploring Lifted Planning Encodings in Essence Prime Open
State-space planning is the de-facto search method of the automated planning community. Planning problems are typically expressed in the Planning Domain Definition Language (PDDL), where action and variable templates describe the sets of a…
View article: Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles Open
In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-level logical description. Demystify is based on Minimal Unsat…
View article: Using small MUSes to explain how to solve pen and paper puzzles
Using small MUSes to explain how to solve pen and paper puzzles Open
Pen and paper puzzles like Sudoku, Futoshiki and Skyscrapers are hugely popular. Solving such puzzles can be a trivial task for modern AI systems. However, most AI systems solve problems using a form of backtracking, while people try to av…
View article: Exploring Instance Generation for Automated Planning
Exploring Instance Generation for Automated Planning Open
Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constraint programming and automated planning are examples of thes…
View article: Relaxing non-interference requirements in parallel plans
Relaxing non-interference requirements in parallel plans Open
The aim of being able to reason about quantities, time or space has been the main objective of the many efforts on the integration of propositional planning with extensions to handle different theories. Planning modulo theories (PMTs) are …
View article: Relaxed Exists-Step Plans in Planning as SMT
Relaxed Exists-Step Plans in Planning as SMT Open
Planning Modulo Theories (PMT), inspired by Satisfiability Modulo Theories (SMT), allows the integration of arbitrary first order theories, such as linear arithmetic, with propositional planning. Under this setting, planning as SAT is gene…
View article: A Semantic Notion of Interference for Planning Modulo Theories
A Semantic Notion of Interference for Planning Modulo Theories Open
The aim of being able to reason about quantities, time, space and much more has been the main objective of the many efforts on the integration of propositional planning with extensions to handle different theories. Planning Modulo Theories…
View article: Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with Electrodialysis Reversal
Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with Electrodialysis Reversal Open
The development of an environmental decision support system (EDSS) by means of two different aims to support the operators’ decisions in the drinking water treatment plant (DWTP), equipped with the biggest electrodialysis reversal (EDR) in…