← Search

Stefan Borgwardt

2 accepted papers

2022

Expressivity of Planning with Horn Description Logic Ontologies

AAAI 2022technical

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-world state constraints formalized by planning over a description logic (DL) ontology. Previously, this combination of DL…