Semantically Guided Theorem Proving for Diagnosis Applications. Baumgartner, P., Fröhlich, P., Furbach, U., & Nejdl, W. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pages 460-465, 1997.
bibtex   
@inproceedings{ dblp3388070,
  title = {Semantically Guided Theorem Proving for Diagnosis Applications},
  author = {Peter Baumgartner and Peter Fröhlich and Ulrich Furbach and Wolfgang Nejdl},
  author_short = {Baumgartner, P. and Fröhlich, P. and Furbach, U. and Nejdl, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1997},
  key = {dblp3388070},
  id = {dblp3388070},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ijcai/BaumgartnerFFN97},
  url = {},
  conference = {IJCAI},
  pages = {460-465},
  text = {IJCAI 1997:460-465},
  booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)}
}

Downloads: 0