Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
Aus International Center for Computational Logic
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
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
- 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}
}