Autonomous robots are increasingly served in real-world unstructured human environments
with complex long-horizon tasks, such as restaurant serving and office delivery. Task and …

As AI is increasingly being adopted into application solutions, the challenge of supporting
interaction with humans is becoming more apparent. Partly this is to support integrated …

Abstract The Robot Operating System (ROS) is a set of software libraries and tools used to
build robotic systems. ROS is known for a distributed and modular design. Given a model of …

Autonomous systems such as unmanned vehicles are beginning to operate within society.
All participants in society are required to follow specific regulations and laws. An …

Temporal planning methods usually focus on the objective of minimizing makespan.
Unfortunately, this misses a large class of planning problems where it is important to …

To run quantum algorithms on emerging gate-model quantum hardware, quantum circuits
must be compiled to take into account constraints on the hardware. For near-term hardware …

Hierarchies are the most common structure used to understand the world better. In galaxies,
for instance, multiple-star systems are organised in a hierarchical system. Then …

We generalise the interval-based relaxation to sequential numeric planning problems with
non-linear conditions and effects, and cyclic dependencies. This effectively removes all the …

Explainable AI is an important area of research within which Explainable Planning is an
emerging topic. In this paper, we argue that Explainable Planning can be designed as a …

Recently, the makespan-minimization problem of compiling a general class of quantum
algorithms into near-term quantum processors has been introduced to the AI community …