%0 Conference Paper %1 conf/dlog/ScheglmannSS11 %A Scheglmann, Stefan %A Saathoff, Carsten %A Staab, Steffen %B Description Logics %D 2011 %E Rosati, Riccardo %E Rudolph, Sebastian %E Zakharyaschev, Michael %I CEUR-WS.org %K dblp %T On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2011.html#ScheglmannSS11 %V 745

@inproceedings{conf/dlog/ScheglmannSS11, added-at = {2023-03-10T00:00:00.000+0100}, author = {Scheglmann, Stefan and Saathoff, Carsten and Staab, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/24d30a3f15076e25a4cbe3b6b77afaa29/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2011}, editor = {Rosati, Riccardo and Rudolph, Sebastian and Zakharyaschev, Michael}, ee = {https://ceur-ws.org/Vol-745/paper_24.pdf}, interhash = {25b87a4290c173c3ed456faa5f96ac4b}, intrahash = {4d30a3f15076e25a4cbe3b6b77afaa29}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:59:13.000+0200}, title = {On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2011.html#ScheglmannSS11}, volume = 745, year = 2011 }