DengHS05'

BibTeX

@inproceedings{DBLP:conf/exact/DengHS05,
  author    = {Xi Deng and
               Volker Haarslev and
               Nematollaah Shiri},
  title     = {A Framework for Explaining Reasoning in Description Logics},
  booktitle = {ExaCt},
  year      = {2005},
  pages     = {55-61},
  crossref  = {DBLP:conf/exact/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/exact/2005,
  editor    = {Thomas Roth-Berghofer and
               Stefan Schulz},
  title     = {Explanation-Aware Computing, Papers from the 2005 AAAI Fall
               Symposium, November 4-6, 2005, Arlington, Virginia},
  booktitle = {ExaCt},
  publisher = {AAAI Press},
  series    = {AAAI Technical Report},
  volume    = {FS-05-04},
  year      = {2005},
  isbn      = {978-1-57735-250-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}