{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:30:03Z","timestamp":1767637803259,"version":"3.48.0"},"reference-count":9,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":5242,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1995,3]]},"abstract":"<jats:p>\n                    Assuring the reliability of knowledge-based systems has become an important issue in the development of the knowledge engineering discipline. There has been a workshop devoted to these topics at most of the major AI conferences (IJCAI, AAAI and ECAI) for the last five years, and the 1994 European Conference on Artificial Intelligence (ECAI-94) in Amsterdam was no exception. The focus of the meeting was on validation techniques for KBS, where\n                    <jats:italic>validation<\/jats:italic>\n                    is defined as the process of determining if a KBS meets its users' requirements; implicitly, validation includes\n                    <jats:italic>verification<\/jats:italic>\n                    , which is the process of determining if a KBS has been constructed to comply with certain formally-specified properties, such as consistency and irredundancy. The Amsterdam workshop was an intimate meeting, and the fifteen attendees were predominantly from European institutions. In spite of\u2014or perhaps because of\u2014this intimacy, the workshop succeeded in highlighting many of the significant trends and issues within its area of concern. The purpose of this short article is to review the trends and issues in question, drawing upon the contributions made during the workshop.\n                  <\/jats:p>","DOI":"10.1017\/s0269888900007281","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:34:25Z","timestamp":1246959265000},"page":"69-71","source":"Crossref","is-referenced-by-count":5,"title":["Validation of knowledge-based systems: Current trends and issues"],"prefix":"10.48130","volume":"10","author":[{"given":"Alun D.","family":"Preece","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S0269888900007281_ref004","doi-asserted-by":"publisher","DOI":"10.1017\/S026988890000624X"},{"key":"S0269888900007281_ref008","unstructured":"Weusten M , 1994. \u201cValidation and verification in legal knowledge based systems\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 53\u201369."},{"key":"S0269888900007281_ref001","unstructured":"Bouali F , Loiseau S and Rousset MC , 1994. \u201cKBS correction: a proposal based on diagnosis theory\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 21\u201329."},{"key":"S0269888900007281_ref005","unstructured":"Treur J and Willems M. , 1994. \u201cOn verification in compositional knowledge-based systems\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 4\u201320."},{"key":"S0269888900007281_ref003","unstructured":"Menzies T and Gambetta W , 1994. \u201cExhaustive abduction: a practical model validation tool\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp. 70\u201376."},{"key":"S0269888900007281_ref007","unstructured":"Wendler B and Vignollet L , 1994. \u201cVerification of the coherence of modular knowledge bases\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 77\u201385."},{"key":"S0269888900007281_ref009","unstructured":"Zlatareva N , 1994. \u201cChecking non-monotonic knowledge bases for inconsistencies and incompleteness\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 30\u201340."},{"key":"S0269888900007281_ref006","unstructured":"Vermesan A and Wergeland T , 1994. \u201cA formal approach to knowledge base refinement and verification\u201d. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 42\u201352."},{"key":"S0269888900007281_ref002","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900006767"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900007281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:47Z","timestamp":1767624167000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900007281\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["S0269888900007281"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900007281","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}