@Article{AIMag98,
  author = 	 "Gregoris Antoniou and Frank van Harmelen and 
                  Robert Plant and Jan Vanthienen",
  title = 	 "Verification and validation of Knowledge-Based Systems - Report on two 1997 events",
  journal =	 "AI Magazine",
  year =	 1998,
  volume =	 19,
  number =	 3,
  pages =	 "123-126",
  month =	 "Fall",
  keywords = {Verification and Validation of KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIMag98.pdf"
}

{"_id":"7rNiiNybhTjL7kxxW","bibbaseid":"antoniou-vanharmelen-plant-vanthienen-verificationandvalidationofknowledgebasedsystemsreportontwo1997events-1998","author_short":["Antoniou, G.","van Harmelen, F.","Plant, R.","Vanthienen, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gregoris"],"propositions":[],"lastnames":["Antoniou"],"suffixes":[]},{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Robert"],"propositions":[],"lastnames":["Plant"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Vanthienen"],"suffixes":[]}],"title":"Verification and validation of Knowledge-Based Systems - Report on two 1997 events","journal":"AI Magazine","year":"1998","volume":"19","number":"3","pages":"123-126","month":"Fall","keywords":"Verification and Validation of KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/AIMag98.pdf","bibtex":"@Article{AIMag98,\r\n author = \t \"Gregoris Antoniou and Frank van Harmelen and \r\n Robert Plant and Jan Vanthienen\",\r\n title = \t \"Verification and validation of Knowledge-Based Systems - Report on two 1997 events\",\r\n journal =\t \"AI Magazine\",\r\n year =\t 1998,\r\n volume =\t 19,\r\n number =\t 3,\r\n pages =\t \"123-126\",\r\n month =\t \"Fall\",\r\n keywords = {Verification and Validation of KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/AIMag98.pdf\"\r\n}\r\n\r\n","author_short":["Antoniou, G.","van Harmelen, F.","Plant, R.","Vanthienen, J."],"key":"AIMag98","id":"AIMag98","bibbaseid":"antoniou-vanharmelen-plant-vanthienen-verificationandvalidationofknowledgebasedsystemsreportontwo1997events-1998","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/AIMag98.pdf"},"keyword":["Verification and Validation of KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["verification and validation of kbs"],"search_terms":["verification","validation","knowledge","based","systems","report","two","1997","events","antoniou","van harmelen","plant","vanthienen"],"title":"Verification and validation of Knowledge-Based Systems - Report on two 1997 events","year":1998}