{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:28:45Z","timestamp":1725719325771},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441951076"},{"type":"electronic","value":"9781475769166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4757-6916-6_15","type":"book-chapter","created":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T00:08:33Z","timestamp":1363133313000},"page":"221-235","source":"Crossref","is-referenced-by-count":1,"title":["Validation and Verification of Knowledge-Based Systems for Power System Control Centres"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Santos","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Zita","family":"Vale","sequence":"additional","affiliation":[]},{"given":"Albino","family":"Marques","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","first-page":"102","volume-title":"Proceedings of the 3rd Annual Expert Systems in Government Conference","author":"A Ginsberg","year":"1987","unstructured":"Ginsberg, A. (1987), \u201cA new approach to checking knowledge bases for inconsistency and redundancy\u201d, In Proceedings of the 3rd Annual Expert Systems in Government Conference. 102\u2013111. Washington, D.C., IEEE Computer Society."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Kleer, J. (1986), \u201cAn assumption-based TMS\u201d, Artificial Intelligence (Holland). 28(2):127\u2013162","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Preece, A. (1990), \u201cTowards a methodology for evaluating expert systems\u201d, Expert Systems (UK). 7(4):215\u2013223.","DOI":"10.1111\/j.1468-0394.1990.tb00234.x"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1002\/int.4550090804","volume":"9","author":"A Preece","year":"1994","unstructured":"Preece, A; and Shinghal, R. (1994), \u201cFoundation and Application of Knowledge Base Verification\u201d, Intelligence Systems. 9: 683\u2013701.","journal-title":"Intelligence Systems"},{"key":"15_CR5","first-page":"145","volume-title":"Proceeding of the 4 111 European Symposium on the Validation and Verification of Knowledge Based Systems (Eurovav \u201887)","author":"M Ramaswary","year":"1997","unstructured":"Ramaswary, M. and Sarkar, S. (1997), \u201cGlobal Verification of Knowledge Based Systems via Local Verification of Partitions\u201d, In Proceeding of the 4\n                111\n                European Symposium on the Validation and Verification of Knowledge Based Systems (Eurovav \u201887) 145\u2013154. Leuven, Belgium."},{"key":"15_CR6","volume-title":"EDP Technical Report, RESP\/ SCDS 20\/93, Electricidade de Portugal","author":"C Rosado","year":"1993","unstructured":"Rosado, C. (1993), \u201cProcess TTLOGW\u201d, EDP Technical Report, RESP\/ SCDS 20\/93, Electricidade de Portugal"},{"key":"15_CR7","volume-title":"MSc Thesis diss","author":"J Santos","year":"1997","unstructured":"Santos, J. (1997), \u201cVerifica\u00e7\u00e4o e Valida\u00e7\u00e4o de Sistemas Baseados em Conhecimento \u2014 VERITAS, uma Ferramenta de Verifica\u00e7\u00e4o\u201d, MSc Thesis diss., Dept. de Engenharia Electrotecnica e Computadores, Faculdade de Engenharia do Porto."},{"key":"15_CR8","volume-title":"Proceedings of the Twelfth International Florida Ai Research Society (FLAIRS99)","author":"J Santos","year":"1999","unstructured":"Santos, J; Fana, L.; Ramos, C.; Vale, Z.; and Marques, A. (1999), \u201cVERITAS \u2014 A Verification Tool for Real-time Applications in Power System Control Centers\u201d, In Proceedings of the Twelfth International Florida Ai Research Society (FLAIRS\u201999). 511515. Orlando, Florida."},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1109\/59.260863","volume":"8","author":"Z Vale","year":"1993","unstructured":"Vale, Z. and Moura, A. (1993), \u201cAn Expert System with Temporal Reasoning for Alarm Processing in Power System Control Centers\u201d, IEEE Transactions on Power Systems 8 (3): 1307\u20131314.","journal-title":"IEEE Transactions on Power Systems"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/ISAP.1996.501036","volume-title":"Proceedings of the International Conference on Intelligent Systems Applications to Power Systems (ISAP96)","author":"Z Vale","year":"1996","unstructured":"Vale, Z.; Faria, L.; Ramos, C.; Fernandes, M.; and Marques, A. (1996), \u201cTowards More Intelligent and Adaptive User Interfaces for Control Center Applications\u201d, In Proceedings of the International Conference on Intelligent Systems Applications to Power Systems (ISAP\u201996). 2\u20136. Orlando, Florida."},{"issue":"2","key":"15_CR11","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/381777.381780","volume":"2","author":"Z. Vale","year":"1994","unstructured":"Vale, Z.; Moura, A.; Fernandes, M.; and Marques, A. (1994), \u201cSPARSE - An Expert System for Alarm Processing and Operator Assistance in Substations Control Centers\u201d, Applied Computing Review. 2(2):18\u201326. ACM Press.","journal-title":"Applied Computing Review."},{"key":"15_CR12","unstructured":"Zlatareva, N.; and Preece, A. (1994), \u201cAn Effective Logical Framework for Knowledge-Based Systems Verification."}],"container-title":["Validation and Verification of Knowledge Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4757-6916-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T14:51:53Z","timestamp":1557586313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4757-6916-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781441951076","9781475769166"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4757-6916-6_15","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}