{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T10:25:09Z","timestamp":1764239109286},"reference-count":7,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1080\/095281300454801","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T16:02:27Z","timestamp":1027699347000},"page":"421-431","source":"Crossref","is-referenced-by-count":7,"title":["Towards validation and refinement of rule-based systems"],"prefix":"10.1080","volume":"12","author":[{"given":"Rainer","family":"Knauf","sequence":"first","affiliation":[]},{"given":"Ilka","family":"Philippow","sequence":"additional","affiliation":[]},{"given":"Avelino J.","family":"Gonzalez","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Abel, T., Knauf, R. and Gonzalez, A. J. Generation of a minimal set of test cases that is functionally equivalent to an exhaustive set, for use in knowledge-based system validation. In Proceedings of 9th International Florida Artificial Intelligence Research Symposium (FL AIRS-96). May, Key West, FL. pp.280\u2013284."},{"key":"CIT0002","unstructured":"Abel, T. and Gonzalez, A. J. Utilizing criteria to reduce a set of test cases for expert system validation. In Proceedings of 10th International Florida Artificial Intelligence Research Society Conference (FL AIRS-97). May, Daytona Beach, FL. pp.402\u2013406."},{"key":"CIT0003","series-title":"Intelligent Meme Report MEME-IMP-1\/ 1997","volume-title":"Fundamentals of a turing test approach to validation","author":"Jantke K. P.","year":"1997"},{"key":"CIT0004","unstructured":"Jantke, K. P., Knauf, R. and Abel, T. The Turing test approach to validation. In Proceedings of Workshop on Validation, Verification & Refinement of AI Systems and Subsystems (W32) of the Int. Joint Conference on Artificial Intelligence (IJCAI-97). August, Nagoya, Japan. pp.35\u201345."},{"key":"CIT0005","unstructured":"Knauf, R., Abel, T., Jantke, K. P. and Gonzalez, A. J. A framework for validation of knowledge-based systems. In Proceedings of International Workshop on Aspects of Intelligent Systems Validation. January, Ilmenau, Germany. pp.1\u201319. Sapporo, Japan: Hokkaido University. Technical Report MEME-MMM-98-2"},{"key":"CIT0006","unstructured":"Knauf, R., Jantke, K. P., Gonzalez, A. J. and Philippow, I. Fundamental considerations of competence assessment for validation. In Proceedings of 11th International Florida Artificial Intelligence Society Conference (FL AIRS-98). May, Sanibel Island, FL. pp.457\u2013461."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/BF00849196"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281300454801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T01:36:26Z","timestamp":1481765786000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281300454801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["10.1080\/095281300454801"],"URL":"https:\/\/doi.org\/10.1080\/095281300454801","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}