@proceedings{EUROVAV97,
  author = 	 "Frank van Harmelen and Annette ten Teije",
  title = 	 "Validation and verification  of conceptual models of diagnosis",
  journal =	 "Proceedings of the Fourth European Symposium on the
                  Validation and Verification of Knowledge Based Systems
		  ({EUROVAV}97)",
  pages =        {117--128},
  year =	 1997,
  address =      "Leuven, Belgium",
  month =	 "June",
  keywords = {Verification and Validation of KBS, Diagnostic Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EUROVAV97.pdf"
}

{"_id":"4SsBdJ3YGScHpYtrY","bibbaseid":"vanharmelen-tenteije-validationandverificationofconceptualmodelsofdiagnosis-1997","author_short":["van Harmelen, F.","ten Teije, A."],"bibdata":{"bibtype":"proceedings","type":"proceedings","author":[{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Annette"],"propositions":["ten"],"lastnames":["Teije"],"suffixes":[]}],"title":"Validation and verification of conceptual models of diagnosis","journal":"Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV97)","pages":"117–128","year":"1997","address":"Leuven, Belgium","month":"June","keywords":"Verification and Validation of KBS, Diagnostic Reasoning","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/EUROVAV97.pdf","bibtex":"@proceedings{EUROVAV97,\r\n author = \t \"Frank van Harmelen and Annette ten Teije\",\r\n title = \t \"Validation and verification of conceptual models of diagnosis\",\r\n journal =\t \"Proceedings of the Fourth European Symposium on the\r\n Validation and Verification of Knowledge Based Systems\r\n\t\t ({EUROVAV}97)\",\r\n pages = {117--128},\r\n year =\t 1997,\r\n address = \"Leuven, Belgium\",\r\n month =\t \"June\",\r\n keywords = {Verification and Validation of KBS, Diagnostic Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/EUROVAV97.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","ten Teije, A."],"key":"EUROVAV97","id":"EUROVAV97","bibbaseid":"vanharmelen-tenteije-validationandverificationofconceptualmodelsofdiagnosis-1997","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/EUROVAV97.pdf"},"keyword":["Verification and Validation of KBS","Diagnostic Reasoning"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"proceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["verification and validation of kbs","diagnostic reasoning"],"search_terms":["validation","verification","conceptual","models","diagnosis","van harmelen","ten teije"],"title":"Validation and verification of conceptual models of diagnosis","year":1997}