LIFT-UP: Lifted First-Order Planning Under Uncertainty
Aus International Center for Computational Logic
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Steffen HölldoblerSteffen Hölldobler, Olga SkvortsovaOlga Skvortsova
Steffen Hölldobler, Olga Skvortsova
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{HS2006,
author = {Steffen H{\"{o}}lldobler and Olga Skvortsova},
title = {LIFT-UP: Lifted First-Order Planning Under Uncertainty},
booktitle = {Proceedings of the 6th International Workshop on the
Implementation of Logics},
year = {2006},
pages = {80-99}
}