doi dblp An Introduction to the Planning Domain Definition Language Patrik Haslum | Nir Lipovetzky | Daniele Magazzeni | Christian Muise