ML Anthology

Semantically Guided Theorem Proving for Diagnosis Applications

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
IJCAI 1997 pp. 460-465
/ijcai/1997/baumgartner1997ijcai-semantically/
Semantic Scholar

Cite

Text

Baumgartner et al. "Semantically Guided Theorem Proving for Diagnosis Applications." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Baumgartner et al. "Semantically Guided Theorem Proving for Diagnosis Applications." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/baumgartner1997ijcai-semantically/)

BibTeX

@inproceedings{baumgartner1997ijcai-semantically,
  title     = {{Semantically Guided Theorem Proving for Diagnosis Applications}},
  author    = {Baumgartner, Peter and Fröhlich, Peter and Furbach, Ulrich and Nejdl, Wolfgang},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {460-465},
  url       = {https://mlanthology.org/ijcai/1997/baumgartner1997ijcai-semantically/}
}