Automated planning with ontologies under coherence update semantics (Extended Version)

Stefan Borgwardt, Duy Nhu, Gabriele Röger

Standard automated planning employs first-order formulas under closed-world semantics to achieve a goal with a given set of actions from an initial state. We follow a line of resea…