{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:31:22Z","timestamp":1740547882146,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220077"},{"type":"electronic","value":"9783540246770"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24677-0_86","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T21:37:46Z","timestamp":1283981866000},"page":"838-847","source":"Crossref","is-referenced-by-count":2,"title":["Abductive Validation of a Power-Grid Expert System Diagnoser"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Ferreira","family":"de Castro","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"86_CR1","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1109\/59.260863","volume":"8","author":"Z.A. Vale","year":"1993","unstructured":"Vale, Z.A., Moura, A.M.: An Expert System with Temporal Reasoning for Alarm Processing in Power System Control Centers. IEEE Transactions on Power Systems\u00a08(3), 1307\u20131314 (1993)","journal-title":"IEEE Transactions on Power Systems"},{"issue":"2","key":"86_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/381777.381780","volume":"2","author":"Z.A. Vale","year":"1994","unstructured":"Vale, Z.A., Moura, A.M., Fernandes, M.F., Marques, A.: SPARSE- An Expert System for Alarm Processing and Operator Assistance in Substations Control Centers. Applied Computing Review\u00a02(2), 18\u201326 (1994)","journal-title":"Applied Computing Review"},{"key":"86_CR3","unstructured":"Vale, Z.A., Fernanda Fernandes, M., Rosado, C., Marques, A., Ramos, C., Faria, L.: Better KBS for Real-time Applications in Power System Control Centers: What can be learned by experience? In: 1st Int. Conf. on Successes and Failures of Knowledge-Based Systems in Real-World Applications, Bangkok (1996)"},{"key":"86_CR4","doi-asserted-by":"crossref","unstructured":"Vale, Z.A., Faria, L., Ramos, C., Fernandes, M.F., Marques, A.: Towards More Intelligent and Adaptive User Interfaces for Control Center Applications. In: Int. Conf. on Intelligent Systems Applications to Power Systems (ISAP 1996), Orlando, Florida, pp. 2\u20136 (1996)","DOI":"10.1109\/ISAP.1996.501036"},{"key":"86_CR5","unstructured":"Vale, Z.A., Ramos, C., Faria, L., Santos, J., Fernandes, M.F., Rosado, C., Marques, A.: Knowledge-Based Systems for Power System Control Centers: Is Knowledge the Problem? In: ISAP 1997, pp. 231\u2013235 (1997)"},{"issue":"3","key":"86_CR6","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1109\/64.590086","volume":"12","author":"Z.A. Vale","year":"1997","unstructured":"Vale, Z.A., Moura, A.M., Fernandes, M.F., Marques, A., Rosado, C., Ramos, C.: SPARSE: An Intelligent Alarm Processor and Operator Assistant. IEEE Expert\u00a012(3), 86\u201393 (1997); Special Track on AI Applications in the Electric Power Industry","journal-title":"IEEE Expert"},{"key":"86_CR7","unstructured":"Vale, Z.A., Ramos, C., Silva, A., Faria, L., Santos, J.,, L.: SPARSE \u2013 An Expert System for Power System Control Center Operator Assistance and Training. In: 4th World Congress on Expert Systems \u2013 Application of Advanced Information Technologies, ITESM, Mexico City (1998)"},{"key":"86_CR8","unstructured":"Vale, Z.A., Ramos, C., Silva, A., Faria, L., Santos, J., Fernandes, M.F., Rosado, C., Marques, A.: SOCRATES- AN INTEGRATED INTELLIGENT SYSTEM FOR POWER SYSTEM CONTROL CENTER OPERATOR ASSISTANCE AND TRAINING. In: IASTED Int. Conf. on AI and Soft Computing, Cancun, Mexico (1998)"},{"key":"86_CR9","unstructured":"Vale, Z.A., Ramos, C., Faria, L.: User Interfaces for Control Center Applications. In: The 1997 Int. Conf. on Intelligent Systems Applications To Power Systems (ISAP 1997), Seoul, July 6-10, pp. 14\u201318 (1997)"},{"key":"86_CR10","unstructured":"Santos, J., Faria, L., Ramos, C., Vale, Z., Marques, A.: VERITAS\u2013 A Verification Tool for Real-time Applications in Power System Control Centers. In: Procs of the 12th Int. Florida AI Research Society (FLAIRS 1999), Orlando, Florida, pp. 511\u2013515 (1999)"},{"key":"86_CR11","doi-asserted-by":"crossref","unstructured":"Santos, J., Ramos, C., Vale, Z., Marques, A.: Validation and Verification of Knowledge-Based Systems for Power System Control Centres. In: Procs of the European Symp. on Verification and Validation of Knowledge Based Systems (Eurovav 1999), Oslo (1999)","DOI":"10.1007\/978-1-4757-6916-6_15"},{"key":"86_CR12","unstructured":"Vale, Z.A., Santos, J., Ramos, C., Fernandes, M.F., Rosado, C., Marques, A.: SPARSE - A Prolog Based Application for the Portuguese Transmission Network: Verification and Validation. In: 5th Int. Conf. on the Practical Application of Prolog - PAP 1997, London, pp. 291\u2013310 (1997)"},{"key":"86_CR13","first-page":"426","volume-title":"Procs. 16th Int. Conf. on Logic Programming (ICLP 1999)","author":"J.J. Alferes","year":"1999","unstructured":"Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in Well-Founded and Generalized Stable Models Via Tabled Dual Programs. In: Procs. 16th Int. Conf. on Logic Programming (ICLP 1999), pp. 426\u2013440. MIT Press, Las Cruces (1999), http:\/\/centria.di.fct.unl.pt\/~lmp\/publications\/online-papers\/iclp99.ps.gz"},{"key":"86_CR14","unstructured":"Castro, J.F.: Verifica\u00e7\u00e3o Abdutiva de Um Sistema de Diagn\u00f3stico Baseado em Regras, Master\u2019s thesis in AI, Universidade Nova de Lisboa (2000), http:\/\/www.cs.sunysb.edu\/~tswift"}],"container-title":["Lecture Notes in Computer Science","Innovations in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24677-0_86","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:14:34Z","timestamp":1740503674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24677-0_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220077","9783540246770"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24677-0_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}