Skip to content

Supplementary Material to Expressivity of Planning with Horn Description Logic Ontologies