@InProceedings{NAIC95-KBSspec,
  author = 	 "F. van Harmelen and M. Aben",
  title = 	 "Structure-preserving specification languages for knowledge-based systems (short version)",
  editor =	 "C. Bioch and Y.H. Tan",
  booktitle =	 "Proceedings of the Dutch Conference on AI (NAIC'95)",
  year =	 1995,
  address =	 "Rotterdam",
  month =	 "June",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/NAIC95-KBSspec.pdf"
}

{"_id":"j7podHHZj2Zs5g4tW","bibbaseid":"vanharmelen-aben-structurepreservingspecificationlanguagesforknowledgebasedsystemsshortversion-1995","author_short":["van Harmelen, F.","Aben, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Aben"],"suffixes":[]}],"title":"Structure-preserving specification languages for knowledge-based systems (short version)","editor":[{"firstnames":["C."],"propositions":[],"lastnames":["Bioch"],"suffixes":[]},{"firstnames":["Y.H."],"propositions":[],"lastnames":["Tan"],"suffixes":[]}],"booktitle":"Proceedings of the Dutch Conference on AI (NAIC'95)","year":"1995","address":"Rotterdam","month":"June","keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/NAIC95-KBSspec.pdf","bibtex":"@InProceedings{NAIC95-KBSspec,\r\n author = \t \"F. van Harmelen and M. Aben\",\r\n title = \t \"Structure-preserving specification languages for knowledge-based systems (short version)\",\r\n editor =\t \"C. Bioch and Y.H. Tan\",\r\n booktitle =\t \"Proceedings of the Dutch Conference on AI (NAIC'95)\",\r\n year =\t 1995,\r\n address =\t \"Rotterdam\",\r\n month =\t \"June\",\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/NAIC95-KBSspec.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","Aben, M."],"editor_short":["Bioch, C.","Tan, Y."],"key":"NAIC95-KBSspec","id":"NAIC95-KBSspec","bibbaseid":"vanharmelen-aben-structurepreservingspecificationlanguagesforknowledgebasedsystemsshortversion-1995","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/NAIC95-KBSspec.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["specification languages for kbs"],"search_terms":["structure","preserving","specification","languages","knowledge","based","systems","short","version","van harmelen","aben"],"title":"Structure-preserving specification languages for knowledge-based systems (short version)","year":1995}