Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova +3

State constraints in AI Planning globally restrict the legal environment states. Standard planning languages make closed-domain and closed-world assumptions. Here we address open-w…