%0 Conference Paper %1 conf/ki/FurbachO07 %A Furbach, Ulrich %A Obermaier, Claudia %B KESE %D 2007 %E Baumeister, Joachim %E Seipel, Dietmar %I CEUR-WS.org %K %T Knowledge Compilation for Description Logics. %U http://dblp.uni-trier.de/db/conf/ki/kese2007.html#FurbachO07 %V 282

@inproceedings{conf/ki/FurbachO07, added-at = {2023-12-13T07:33:50.000+0100}, author = {Furbach, Ulrich and Obermaier, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/2ce222bdf11d1a42e4805e680cddc254a/admin}, booktitle = {KESE}, crossref = {conf/ki/2007kese}, editor = {Baumeister, Joachim and Seipel, Dietmar}, ee = {http://ceur-ws.org/Vol-282/03-furbach_obermaier_edit.pdf}, interhash = {ba88b01f1eb6581279d2a904119b0678}, intrahash = {ce222bdf11d1a42e4805e680cddc254a}, keywords = {}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-13T07:33:50.000+0100}, title = {Knowledge Compilation for Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/ki/kese2007.html#FurbachO07}, volume = 282, year = 2007 }