@article{76a11dc0f09f4423bb76bab0709a691d,
  title     = "Evaluating a formal KBS specification language",
  abstract  = "Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.",
  author    = "{van Harmelen}, Frank and Manfred Aben and Fidel Ruiz and {van de Plassche}, Joke",
  year      = "1996",
  month     = "2",
  doi       = "10.1109/64.482959",
  volume    = "11",
  pages     = "56--62",
  journal   = "IEEE expert",
  issn      = "0885-9000",
  publisher = "Institute of Electrical and Electronics Engineers Inc.",
  number    = "1",
}

{"_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","title":"Evaluating a formal KBS specification language","abstract":"Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.","author":[{"propositions":["van Harmelen"],"lastnames":[],"firstnames":["Frank"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Aben"],"suffixes":[]},{"firstnames":["Fidel"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"propositions":["van de Plassche"],"lastnames":[],"firstnames":["Joke"],"suffixes":[]}],"year":"1996","month":"2","doi":"10.1109/64.482959","volume":"11","pages":"56–62","journal":"IEEE expert","issn":"0885-9000","publisher":"Institute of Electrical and Electronics Engineers Inc.","number":"1","bibtex":"@article{76a11dc0f09f4423bb76bab0709a691d,\n title = \"Evaluating a formal KBS specification language\",\n abstract = \"Formal specification languages can improve the development of knowledge-based systems (KBS), but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.\",\n author = \"{van Harmelen}, Frank and Manfred Aben and Fidel Ruiz and {van de Plassche}, Joke\",\n year = \"1996\",\n month = \"2\",\n doi = \"10.1109/64.482959\",\n volume = \"11\",\n pages = \"56--62\",\n journal = \"IEEE expert\",\n issn = \"0885-9000\",\n publisher = \"Institute of Electrical and Electronics Engineers Inc.\",\n number = \"1\",\n}\n\n\n","author_short":["van Harmelen , F.","Aben, M.","Ruiz, F.","van de Plassche , J."],"key":"76a11dc0f09f4423bb76bab0709a691d","id":"76a11dc0f09f4423bb76bab0709a691d","bibbaseid":"vanharmelen-aben-ruiz-vandeplassche-evaluatingaformalkbsspecificationlanguage-1996","role":"author","urls":{},"metadata":{"authorlinks":{"van harmelen, f":"https://www.cs.vu.nl/"}},"downloads":1},"bibtype":"article","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.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":[],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}