Validation and Verification of Conceptual Models of Diagnosis. Harmelen, F. & Teije, A. In Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium, pages 117-128, 1997. bibtex @inproceedings{ DBLP:conf/eurovav/HarmelenT97,
author = {Frank Harmelen and Annette Teije},
title = {Validation and Verification of Conceptual Models of Diagnosis},
booktitle = {Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium},
pages = {117-128} ,
year = {1997}
}
Downloads: 0
{"_id":{"_str":"534268680e946d920a000f20"},"__v":13,"authorIDs":["5456eb938b01c81930000068","5459767ab43425b7720005a6"],"author_short":["Harmelen, F.","Teije, A."],"bibbaseid":"harmelen-teije-validationandverificationofconceptualmodelsofdiagnosis-1997","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Annette"],"propositions":[],"lastnames":["Teije"],"suffixes":[]}],"title":"Validation and Verification of Conceptual Models of Diagnosis","booktitle":"Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium","pages":"117-128","year":"1997","bibtex":"@inproceedings{ DBLP:conf/eurovav/HarmelenT97,\n author = {Frank Harmelen and Annette Teije},\n title = {Validation and Verification of Conceptual Models of Diagnosis},\n booktitle = {Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium},\n pages = {117-128} ,\n year = {1997}\n}\n\n\n","author_short":["Harmelen, F.","Teije, A."],"key":"DBLP:conf/eurovav/HarmelenT97","id":"DBLP:conf/eurovav/HarmelenT97","bibbaseid":"harmelen-teije-validationandverificationofconceptualmodelsofdiagnosis-1997","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpharmelen_frank_vanbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["validation","verification","conceptual","models","diagnosis","harmelen","teije"],"title":"Validation and Verification of Conceptual Models of Diagnosis","year":1997,"dataSources":["rQWnZCJ6CvEXijfsr"]}