Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)

From International Center for Computational Logic

Toggle side column

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)

Stefan BorgwardtStefan Borgwardt,  Jörg HoffmannJörg Hoffmann,  Alisa KovtunovaAlisa Kovtunova,  Markus KrötzschMarkus Krötzsch,  Bernhard NebelBernhard Nebel,  Marcel SteinmetzMarcel Steinmetz
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
@inproceedings{BHKKNS2022,
  author    = {Stefan Borgwardt and J{\"{o}}rg Hoffmann and Alisa Kovtunova and
               Markus Kr{\"{o}}tzsch and Bernhard Nebel and Marcel Steinmetz},
  title     = {Expressivity of Planning with Horn Description Logic Ontologies
               (Extended Abstract)},
  editor    = {Ofer Arieli and Martin Homola and Jean Christoph Jung and
               Marie-Laure Mugnier},
  booktitle = {Proceedings of the 35th International Workshop on Description
               Logics (DL 2022)},
  series    = {CEUR Workshop Proceedings},
  volume    = {3263},
  publisher = {CEUR-WS.org},
  year      = {2022}
}