{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T04:23:52Z","timestamp":1725423832173},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/prdc.2004.1276590","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"343-352","source":"Crossref","is-referenced-by-count":1,"title":["Improving AI systems' dependability by utilizing historical knowledge"],"prefix":"10.1109","author":[{"given":"R.","family":"Knauf","sequence":"first","affiliation":[]},{"given":"S.","family":"Tsuruta","sequence":"additional","affiliation":[]},{"given":"H.","family":"Ihara","sequence":"additional","affiliation":[]},{"given":"A.J.","family":"Gonzalez","sequence":"additional","affiliation":[]},{"given":"T.","family":"Kurbad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"226","article-title":"Knowledge-based validation method for validating intelligent systems","author":"tsuruta","year":"2002","journal-title":"Proc of the 15th Internat Florida Artificial Intelligence Research Society Conference 2002 (FLAIRS-02)"},{"key":"17","first-page":"361","article-title":"Validation method for intelligent systems","author":"tsuruta","year":"2000","journal-title":"Proc of the 13th International Florida Artificial Intelligence Research Society Conference (FLAIRS-00)"},{"key":"18","first-page":"769","article-title":"Knowledge-based approach for validating intelligent systems","author":"tsuruta","year":"2000","journal-title":"Proc of 45th Internat Scientific Colloquium (IWK-00)"},{"key":"15","first-page":"19","article-title":"Structural validation of expert systems using a formal method","author":"preece","year":"1993","journal-title":"Proc of the 11th Annual National Conference on Artificial Intelligence 1993 (AAAI-93)"},{"journal-title":"Verification and Validation of Rule-Based Expert Systems","year":"1991","author":"smith","key":"16"},{"journal-title":"A Concept to Apply a Turing Test Technology for System Validation that Utilizes External Validation Knowledge","year":"2003","author":"kurbad","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00849196"},{"key":"11","first-page":"216","article-title":"System refinement in practice - Using a formal method to modify real life knowledge","author":"knauf","year":"2002","journal-title":"Proc of the 15th International Florida Artificial Intelligence Research Society Conference 2002 (FLAIRS-02)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2002.999805"},{"key":"3","first-page":"367","article-title":"SEEK2: A generalized approach to automatic knowledge base refinement","author":"ginsberg","year":"1985","journal-title":"Proc of the 9th International Joint Conference on Artificial Intelligence 1985 (IJCAI-85)"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LIX.236.433"},{"key":"2","article-title":"Applications of rule-base coverage measures to expert system evaluation","author":"barr","year":"1996","journal-title":"Technical Report DCS-TR-340"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/356876.356879"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1080\/095281300454801"},{"journal-title":"IEEE Std 610 12-1990","year":"1990","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1080\/095281300454793"},{"journal-title":"Software Riliability - Principles and Practices","year":"1976","author":"glenford","key":"5"},{"key":"4","first-page":"367","article-title":"Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy","author":"ginsberg","year":"1988","journal-title":"Proc of the 7th Annual National Conference on Artificial Intelligence 1988 (AAAI-88)"},{"key":"9","first-page":"223","article-title":"Utilizing validation experience for system validation","author":"knauf","year":"2003","journal-title":"Proceedings of the 16th International Florida Artificial Intelligence Research Society Conference 2003 (FLAIRS 2003)"},{"journal-title":"Validating Rule-Based SystemsA Complete Methodology","year":"2000","author":"knauf","key":"8"}],"event":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004.","location":"Papeete, Tahiti, French Polynesia"},"container-title":["10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8995\/28541\/01276590.pdf?arnumber=1276590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:21:32Z","timestamp":1489447292000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1276590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/prdc.2004.1276590","relation":{},"subject":[]}}