@Article{IEEE96,
  author = 	 "Frank van Harmelen and Manfred Aben and Fidel Ruiz and
                  Joke van de Plassche",
  title = 	 "Evaluating a formal KBS specification language",
  journal =	 "IEEE Expert",
  year =	 1996,
  volume =	 "11",
  number =	 "1",
  pages =	 "56--62",
  month =	 "February",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IEEE96.pdf"
}

{"_id":{"_str":"51f6688659ced8df44000bd0"},"__v":2,"authorIDs":["3obmQ57ktWcYPG9dJ","54573d5e2abc8e9f370001f6","5de727fb97054edf010000c1","5dea103bfac96fde01000184","5deb5f460ff3bbdf010000d1","5deba5e19abf64df01000061","5def85b045114dde010000d9","5df1db001070c8ef01000133","5df2d9b379c00ade01000122","5df3ad4eec6029de010000dd","5df7e18ddc100cde0100016e","5dfc11c9b371afde010000fc","5e004ddc63155bde0100004b","5e048417db7916df010000ad","5e08b6da7dc1dcdf010000cb","5e0cd9f66762d1de010000ab","5e0d1dd49ecb35de01000107","5e0da304675bf1de0100009f","5e0db208c7ca67df01000042","5e110aa2d6a01ede01000094","5e14998e830852de01000048","5e1aee555f3d2cdf0100012c","5e1ee07a875c69df010000f1","5e21a5ed3ef35cdf0100014f","5e24a1a31a6264de01000014","5e24d16e981ceddf010000a0","5e2ca60dcca05fde01000002","5e373b254cbab2df010000b5","5e381f370691b8de0100012e","5e391f337f8bf3f30100009b","5e3d460bdc4cd0f301000080","5e412f0fb54187de010001fd","5e46956e2e79a6df01000015","5e4f90e342a908de010000f0","5e55e1eec2c8a2df0100004b","5e55fb91819fabdf01000043","5e5d399073eb2edf0100005d","5e62c9b48f9dfede01000012","5e69ec413aab3cdf01000236","5e6a6051d37d43de0100021a","5uNwRzqPShqjj5w7n","67aLTCWbjGwkDDC9D","95DQ5KcEuc84FLGpw","9RwLS5Tu3kXtxYNXD","AZSDESQhTC3QweCiq","AgKpe75fbth2Q8zbs","Bm6s5DR3MSgxJ3wWr","BpJxc38YKyqTpBDhA","E5rA8DH9RCbZ8trMX","Er2P5Yhz7RkA8HH5Q","GuR62ZXthJcND8FNe","HK78wHnj2BKwHox8E","QxvM7gxJduoC5ACWE","SCujaYWzkdYmyT2Eo","cy8fYiReXtfHc2tqN","etKTQjxCiA468douC","fX6HifTArZSbcCozd","jde8THxMDAYEbySTP","ot9kP7ojCmwzzGy2d","oynzRoATcqFByjhqE","qBc7At3jT9LnqBMw3","rey8AwcLiwHEcvMRX","shBRjbZTLWKah2ebY","tdg6Pso6ddJK2rTaD","uhynEQbsamWFGmHHD","zyWJw2NzMcSAHredn"],"author_short":["van Harmelen, F.","Aben, M.","Ruiz, F.","van de Plassche, J."],"bibbaseid":"vanharmelen-aben-ruiz-vandeplassche-evaluatingaformalkbsspecificationlanguage-1996","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Aben"],"suffixes":[]},{"firstnames":["Fidel"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Joke"],"propositions":["van","de"],"lastnames":["Plassche"],"suffixes":[]}],"title":"Evaluating a formal KBS specification language","journal":"IEEE Expert","year":"1996","volume":"11","number":"1","pages":"56–62","month":"February","keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/IEEE96.pdf","bibtex":"@Article{IEEE96,\r\n author = \t \"Frank van Harmelen and Manfred Aben and Fidel Ruiz and\r\n Joke van de Plassche\",\r\n title = \t \"Evaluating a formal KBS specification language\",\r\n journal =\t \"IEEE Expert\",\r\n year =\t 1996,\r\n volume =\t \"11\",\r\n number =\t \"1\",\r\n pages =\t \"56--62\",\r\n month =\t \"February\",\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/IEEE96.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","Aben, M.","Ruiz, F.","van de Plassche, J."],"key":"IEEE96","id":"IEEE96","bibbaseid":"vanharmelen-aben-ruiz-vandeplassche-evaluatingaformalkbsspecificationlanguage-1996","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/IEEE96.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/"}},"downloads":1,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","downloads":1,"search_terms":["evaluating","formal","kbs","specification","language","van harmelen","aben","ruiz","van de plassche"],"title":"Evaluating a formal KBS specification language","title_words":["evaluating","formal","kbs","specification","language"],"year":1996,"keywords":["specification languages for kbs"],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","9CnmDh6oPMNTwHksm"]}