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

Download

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

Details
Bibtex

Bemerkung: Note: This is an extended abstract of the full AAAI 2022 publication of the same title.
Projekt:Project: CPEC
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Wissensbasierte SystemeKnowledge-Based Systems

@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}
}