{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:41:27Z","timestamp":1725543687434},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354536"},{"type":"electronic","value":"9783540354543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779568_70","type":"book-chapter","created":{"date-parts":[[2006,6,23]],"date-time":"2006-06-23T11:00:22Z","timestamp":1151060422000},"page":"650-659","source":"Crossref","is-referenced-by-count":0,"title":["Diagnosis of Power System Protection"],"prefix":"10.1007","author":[{"given":"Rui D.","family":"Jorge","sequence":"first","affiliation":[]},{"given":"Carlos V.","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"70_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6ttcher, C., Dressler, O.: A framework for controlling model-based diagnosis systems with multiple actions. Ann. Math. A.I. (special issue on Model-based Diagnosis)\u00a011 (1994)","DOI":"10.1007\/BF01530744"},{"issue":"1","key":"70_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"70_CR3","doi-asserted-by":"publisher","first-page":"680","DOI":"10.1109\/TPWRS.2003.810981","volume":"18","author":"E. Davidson","year":"2003","unstructured":"Davidson, E., McArthur, S., McDonald, J.: A toolset for applying model-based reasoning techniques to diagnostics for power system protection. IEEE Trans. Power Systems\u00a018(2), 680\u2013687 (2003)","journal-title":"IEEE Trans. Power Systems"},{"key":"70_CR4","first-page":"269","volume-title":"Meta-logics and Logic Prog.","author":"C. Dam\u00e1sio","year":"1995","unstructured":"Dam\u00e1sio, C., Nejdl, W., Pereira, L., Schroeder, M.: Model-based diagnosis preferences and strategies representation with meta-logic programming. In: Apt, K., Turini, F. (eds.) Meta-logics and Logic Prog., vol.\u00a011, pp. 269\u2013311. MIT Press, Cambridge (1995)"},{"key":"70_CR5","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: The diagnosis frontend of the dlv system. Tech. Rep. DBAI-TR-98-20, Tech. Univ. Wien, Austria (November 1998)"},{"key":"70_CR6","first-page":"579","volume-title":"Proc. 7th Int. Conf. on L.P.","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proc. 7th Int. Conf. on L.P., pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"70_CR7","unstructured":"Jorge, R.: Power network protection system diagnosis. Master Thesis (in portuguese), FCT, Univ. Nova. Lisboa (2005)"},{"key":"70_CR8","doi-asserted-by":"crossref","unstructured":"Pereira, L., Dam\u00e1sio, C., Alferes, J.: Diagnosis and debugging as contradiction removal. In: Proc. 2nd Int. Workshop on LP and Non-monotonic Reasoning, Lisboa, Portugal, pp. 334\u2013348 (June 1993)","DOI":"10.7551\/mitpress\/4307.003.0026"},{"issue":"1","key":"70_CR9","first-page":"65","volume":"7","author":"M. Pfau-Wagenbauer","year":"1993","unstructured":"Pfau-Wagenbauer, M., Nejdl, W.: Model\/heuristic-based alarm processing for power systems. Journal on AI in Eng., Design and Manuf.\u00a07(1), 65\u201378 (1993)","journal-title":"Journal on AI in Eng., Design and Manuf."},{"key":"70_CR10","unstructured":"Poole, D.: Normality and faults in logic-based diagnosis. In: Proc. of 11th IJCAI, Detroit, MI, pp. 1304\u20131310 (August 1989)"},{"issue":"1","key":"70_CR11","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1109\/61.568279","volume":"12","author":"T. Sidhu","year":"1997","unstructured":"Sidhu, T., Cruder, O., Huff, G.: An abductive inference technique for fault diagnosis in electrical power transmission networks. IEEE Trans. Power Delivery\u00a012(1), 515\u2013522 (1997)","journal-title":"IEEE Trans. Power Delivery"},{"key":"70_CR12","unstructured":"Smodels system. version 2.27 (2003), http:\/\/www.tcs.hut.fi\/softare\/smodels\/"},{"key":"70_CR13","unstructured":"Struss, P.: Diagnosis as a process. In: Work. Notes 1st Int. Workshop on Model-based diagnosis, Paris (1989)"},{"key":"70_CR14","unstructured":"Struss, P., Dressler, O.: Physical negation: integrating fault models into the general diagnostic engine. In: Proc. 11th IJCAI, Detroit, MI, pp. 1318\u20131323 (August 1989)"},{"issue":"3","key":"70_CR15","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1109\/59.260863","volume":"8","author":"Z. Vale","year":"1993","unstructured":"Vale, Z., Moura, A.: An expert system with temporal reasoning for alarm processing in power system control centers. IEEE Trans. Power Systems\u00a08(3), 1307\u20131313 (1993)","journal-title":"IEEE Trans. Power Systems"},{"key":"70_CR16","unstructured":"XSB Logic Programming system. version 2.6 (2003), http:\/\/xsb.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779568_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T23:11:08Z","timestamp":1707088268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779568_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354536","9783540354543"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11779568_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}