DBLP Record 'conf/ki/FurbachO07'

BibTeX

@inproceedings{DBLP:conf/ki/FurbachO07,
  author    = {Ulrich Furbach and
               Claudia Obermaier},
  title     = {Knowledge Compilation for Description Logics},
  booktitle = {KESE},
  year      = {2007},
  ee        = {http://ceur-ws.org/Vol-282/03-furbach_obermaier_edit.pdf},
  crossref  = {DBLP:conf/ki/2007kese},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ki/2007kese,
  editor    = {Joachim Baumeister and
               Dietmar Seipel},
  title     = {Proceedings of the 3rd Workshop on Knowledge Engineering
               and Software Engineering (KESE 2007) at the 30th German
               Conference on Artificial Intelligence (KI-2007), Osnabr{\"u}ck,
               Germany, September 10, 2007},
  booktitle = {KESE},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {282},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}