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
{"_id":{"_str":"525ba8cb7e98fada740000be"},"__v":0,"authorIDs":[],"author_short":["Baumgartner, P.","Fröhlich, P.","Furbach, U.","Nejdl, W."],"bibbaseid":"baumgartner-frhlich-furbach-nejdl-semanticallyguidedtheoremprovingfordiagnosisapplications-1997","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3388070\"> </a>Semantically Guided Theorem Proving for Diagnosis Applications.</span>\n\t<span class=\"bibbase_paper_author\">\nBaumgartner, P.; Fröhlich, P.; Furbach, U.; and Nejdl, W.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1997</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)</i>, page 460-465, 1997.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('dblp3388070')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Semantically Guided Theorem Proving for Diagnosis Applications [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"baumgartner-frhlich-furbach-nejdl-semanticallyguidedtheoremprovingfordiagnosisapplications-1997","role":"author","bibtex":"@inproceedings{ dblp3388070,\n title = {Semantically Guided Theorem Proving for Diagnosis Applications},\n author = {Peter Baumgartner and Peter Fröhlich and Ulrich Furbach and Wolfgang Nejdl},\n author_short = {Baumgartner, P. and Fröhlich, P. and Furbach, U. and Nejdl, W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1997},\n key = {dblp3388070},\n id = {dblp3388070},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ijcai/BaumgartnerFFN97},\n url = {},\n conference = {IJCAI},\n pages = {460-465},\n text = {IJCAI 1997:460-465},\n booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)}\n}","booktitle":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","text":"IJCAI 1997:460-465","pages":"460-465","conference":"IJCAI","url":"","biburl":"http://www.dblp.org/rec/bibtex/conf/ijcai/BaumgartnerFFN97","id":"dblp3388070","key":"dblp3388070","year":"1997","type":"inproceedings","bibtype":"inproceedings","author_short":["Baumgartner, P.","Fröhlich, P.","Furbach, U.","Nejdl, W."],"author":["Peter Baumgartner","Peter Fröhlich","Ulrich Furbach","Wolfgang Nejdl"],"title":"Semantically Guided Theorem Proving for Diagnosis Applications"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ijcai/BaumgartnerFFN97","downloads":0,"search_terms":["semantically","guided","theorem","proving","diagnosis","applications","baumgartner","fröhlich","furbach","nejdl"],"title":"Semantically Guided Theorem Proving for Diagnosis Applications","year":1997,"dataSources":["9ATe8hFcrGWTWFAZE"]}