DBLP Record 'conf/ki/QuantzS94'

BibTeX

@inproceedings{DBLP:conf/ki/QuantzS94,
  author    = {Joachim Quantz and
               Sven Suska},
  title     = {Weighted Defaults in Description Logics: Formal Properties
               and Proof Theory},
  booktitle = {KI},
  year      = {1994},
  pages     = {178-189},
  crossref  = {DBLP:conf/ki/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ki/1994,
  editor    = {Bernhard Nebel and
               Leonie S. Dreschler-Fischer},
  title     = {KI-94: Advances in Artificial Intelligence, 18th Annual
               German Conference on Artificial Intelligence, Saarbr{\"u}cken,
               Germany, September 18-23, 1994, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {861},
  year      = {1994},
  isbn      = {3-540-58467-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}