{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T09:58:21Z","timestamp":1648979901634},"reference-count":33,"publisher":"Informa UK Limited","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[1995,11]]},"DOI":"10.1080\/08839519508945490","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T01:19:02Z","timestamp":1182734342000},"page":"587-621","source":"Crossref","is-referenced-by-count":5,"title":["VERIFICATION OF QUALITATIVE PROPERTIES OF RULE-BASED EXPERT SYSTEMS"],"prefix":"10.1080","volume":"9","author":[{"given":"ALFONSUS D.","family":"LUNARDHI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KEVIN M.","family":"PASSINO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"An introduction to intelligentautonomous control.","author":"Antsaktis P. J.","year":"1993"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(86)90026-9"},{"key":"CIT0003","volume-title":"An introduction to intelligent and autonomous control","author":"\u00c5str\u00f6m K. J.","year":"1993"},{"key":"CIT0004","volume-title":"Programming expert systems in OPS5.","author":"Brawnston L.","year":"1986"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60129-1"},{"key":"CIT0006","volume-title":"Rule based expert systems, MYCIN.","author":"Buchanan B.","year":"1984"},{"key":"CIT0007","first-page":"34","author":"Chandrasekaran B.","year":"1983","journal-title":"AL Magazinesummer"},{"key":"CIT0008","volume-title":"Machine Intelligence 8","author":"Davis R.","year":"1977"},{"key":"CIT0009","volume-title":"Building Expert Systems","author":"Gaschnig J.","year":"1983"},{"key":"CIT0010","first-page":"26","volume":"3","author":"Gcissman J. R.","year":"1988","journal-title":"AI Expert"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(85)90039-8"},{"key":"CIT0012","first-page":"28","volume-title":"Proceedings of IEEE Western Conference on Expert Systems","author":"Green C. J.","year":"1991"},{"key":"CIT0013","volume-title":"Validatingverifying knowledge-based systems.","author":"Gupta U.","year":"1991"},{"key":"CIT0014","volume-title":"Building expert systems.","author":"Hayes-Roth F.","year":"1985"},{"key":"CIT0015","first-page":"313","volume-title":"Lecture Notes in Computer Science","author":"Kim S.","year":"1988"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/21.52551"},{"key":"CIT0017","first-page":"1561","volume-title":"Proceedings of the IEEE Conference on Decision and Control","author":"Lunardhi A. D.","year":"1991"},{"key":"CIT0018","first-page":"541","volume-title":"Proceedings of the IEEE","volume":"77","author":"Murata T.","year":"1989"},{"key":"CIT0019","volume-title":"Proceedings 3rd Conference on AI Applications.","author":"Nguyen T. A.","year":"1987"},{"key":"CIT0020","first-page":"375","volume-title":"Proceedings 9th International Joint Conference on Artificial Intelligence,","volume":"1","author":"Nguyen T. A.","year":"1985"},{"key":"CIT0021","first-page":"69","author":"Nguyen T. A.","year":"1987","journal-title":"AI Magazine"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1987.5006538"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1080\/08839518908949915"},{"key":"CIT0024","doi-asserted-by":"crossref","first-page":"670","DOI":"10.1109\/CDC.1990.203677","volume-title":"Proceedings of the Conference on Decision and Control","author":"Passino K. M.","year":"1990"},{"key":"CIT0025","volume-title":"In An introduction to intelligent and autonomous control","author":"Passino K. M.","year":"1993"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/21.259697"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1109\/CDC.1993.325046","volume-title":"Proceedings of the IEEE Conferences on Decision and Control.","author":"Passino K. M.","year":"1993"},{"key":"CIT0028","volume-title":"Intelligent control systems Theory and applications","author":"Passino K. M.","year":"1996"},{"key":"CIT0029","first-page":"2911","volume-title":"Proceedings of the American Control Conference","author":"Passino K, M., A,","year":"1991"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1109\/9.272323"},{"key":"CIT0031","volume-title":"Topics in expert system design","author":"Perkins W. A.","year":"1989"},{"key":"CIT0032","first-page":"16","volume-title":"AI Magazine","author":"Suwa M.","year":"1982"},{"key":"CIT0033","volume-title":"A principal guide to designing expert systems","author":"Weiss S. M.","year":"1984"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839519508945490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T06:18:10Z","timestamp":1556518690000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839519508945490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":33,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["10.1080\/08839519508945490"],"URL":"https:\/\/doi.org\/10.1080\/08839519508945490","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}