{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:27:00Z","timestamp":1725496020292},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437819"},{"type":"electronic","value":"9783540480358"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48035-8_41","type":"book-chapter","created":{"date-parts":[[2007,11,18]],"date-time":"2007-11-18T02:05:25Z","timestamp":1195351525000},"page":"414-424","source":"Crossref","is-referenced-by-count":3,"title":["On the Verification of an Expert System: Practical Issues"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Santos","sequence":"first","affiliation":[]},{"given":"Zita","family":"Vale","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Ramos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"41_CR1","unstructured":"O. Garcia and Y. Chien-\u201cKnowledge-Based Systems: Fundamentals and Tools\u201d, IEEE Computer Society Press, 1991"},{"key":"41_CR2","unstructured":"T. Menzies-\u201cKnowledge Maintenance: The State of the Art, The Knowledge\u201d, Engineering Review, 1998"},{"key":"41_CR3","unstructured":"T. Hoppe and P. Meseguer-\u201cOn the terminology of WT\u201d, Proc.European Workshop on the Verification and Validation of Knowledge-Based Systems, Logica Cambridge, 3\u201313, Cambridge, 1991"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"B. Boehm, \u201dVerifying and validating software requirements and design specifications\u201d, IEEE Software, 1(1), 1984","DOI":"10.1109\/MS.1984.233702"},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1002\/int.4550090804","volume":"9","author":"A. Preece","year":"1994","unstructured":"A. Preece and R. Shinghal \u201cFoundation and Application of Knowledge Base Verification\u201d, Intelligence Systems, 9:683\u2013701, 1994","journal-title":"Intelligence Systems"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Z. Vale, A. Moura, M. Fernandes and A. Marques, \u201cSPARSE-An Expert System for Alarm Processing and Operator Assistance in Substations Control Centers\u201d, ACM (Association for Computing Machinery) Press, Applied Computing Review, 2(2): 18\u201326, December 1994","DOI":"10.1145\/381777.381780"},{"key":"41_CR7","unstructured":"J. Santos, L. Faria, C. Ramos, Z. Vale and A. Marques-\u201cVERITAS-A Verification Tool for Real-time Applications in Power System Control Centers\u201d. Proc.12th International Florida AI Research Society (FLAIRS\u201999). Eds. AAAI Press, 511\u2013515. Orlando, 1999"},{"key":"41_CR8","first-page":"102","volume-title":"Proc.3rd Annual Expert Systems in Government Conference","author":"A. Ginsberg-","year":"1987","unstructured":"A. Ginsberg-\u201cA new approach to checking knowledge bases for inconsistency and redundancy\u201d, Proc.3rd Annual Expert Systems in Government Conference, IEEE Computer Society, Washington D.C., pp. 102\u2013111, October, 1987"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"A. Preece-\u201cTowards a methodology for evaluating expert systems\u201d, Expert Systems (UK), 7(4), 215\u2013223, November 1990","DOI":"10.1111\/j.1468-0394.1990.tb00234.x"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"M. Rousset-\u201cOn the consistency of knowledge bases: the COVADIS system\u201d, Proceedings of European Conference on Artificial Intelligence, pp. 79\u201384, Munchen, 1988","DOI":"10.1111\/j.1467-8640.1988.tb00119.x"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"L. Vila-\u201cA Survey on Temporal Reasoning in Artificial Intelligence\u201d, AI Communications, 7:4\u201328, March 1994","DOI":"10.3233\/AIC-1994-7102"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"\u201cSpatial and Temporal Reasoning\u201d, Eds Oliviero Stock, Kluwer Academic Publishers, 1997","DOI":"10.1007\/978-0-585-28322-7"},{"key":"41_CR13","unstructured":"M. Ramaswary and S. Sarkar-\u201cGlobal Verification of Knowledge Based Systems via Local Verification of Partitions\u201d, Proc. 4th European Symposium on the Validation and Verification of Knowledge Based Systems (Eurovav\u201997), 145\u2013154. Leuven, Belgium, 1997"},{"issue":"2","key":"41_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer-","year":"1986","unstructured":"J. Kleer-\u201cAn assumption-based TMS\u201d, Artificial Intelligence (Holland), 28(2), 127\u2013162, 1986","journal-title":"Artificial Intelligence (Holland)"},{"issue":"2","key":"41_CR15","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/0957-4174(92)90026-O","volume":"5","author":"A. Preece","year":"1992","unstructured":"A. Preece, R. Shinghal, and A. Batarekh \u201cVerifying expert systems: a logical framework and a practical tool\u201d Expert Systems with Applications, 5(2):421\u2013436, 1992","journal-title":"Expert Systems with Applications"}],"container-title":["Lecture Notes in Computer Science","Developments in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48035-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T05:08:59Z","timestamp":1588050539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48035-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437819","9783540480358"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48035-8_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}