Lukáš Chrpa

Handling non-local dead-ends in Agent Planning Programs

2017

We propose an approach to reason about agent planning programs with global information. Agent planning programs can be understood as a network of planning tasks, accommodating long-term goals, non-terminating behaviors, and interactive execution. We provide …