On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
Riccardo Rosati; Sebastian Rudolph; Michael Zakharyaschev (Hrsg). Proccedings of the 24th International Workshop on Description Logics DL 2011; Barcelona, Spain; July 13-16, 2011. Aachen: CEUR/RWTH 2011 S. 565 - 575
Erscheinungsjahr: 2011
ISBN/ISSN: 1613-0073
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Saathoff, Carsten (Autor)
Scheglmann, Stefan (Autor)
Staab, Steffen (Autor)
