{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:00:08Z","timestamp":1725566408735},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_38","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T16:27:57Z","timestamp":1285345677000},"page":"343-352","source":"Crossref","is-referenced-by-count":0,"title":["Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks"],"prefix":"10.1007","author":[{"given":"Peter","family":"Fr\u00f6hlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nejdl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Dam\u00e1sio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Moniz","family":"Pereira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"38_CR1","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning\u00a014(1), 93\u2013147 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"38_CR2","series-title":"LNAI","volume-title":"Reasoning with Logic Programming","year":"1996","unstructured":"Alferes, J.J., Moniz Pereira, L. (eds.): Reasoning with Logic Programming. LNCS (LNAI), vol.\u00a01111. Springer, Heidelberg (1996)"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"D\u00e1masio, C.V., Pereira, L.M., Schroeder, M.: REVISE: Logic programming and diagnosis. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS(LNAI), vol.\u00a01265, Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63255-7_26"},{"key":"38_CR4","unstructured":"Eshghi, K., Kowalski, R.: Abduction compared with negation by failure. In: 6th Int. Conf. on LP. MIT Press, Cambridge (1989)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Fr\u00f6hlich, P., Nejdl, W., Jobmann, K., Wietgrefe, H.: Model-based alarm correlation in cellular phone networks. In: Proc. of MASCOTS 1997 (1997)","DOI":"10.1109\/MASCOT.1997.567613"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: Proc. of Symp. on Principles of Databse Systems (1988)","DOI":"10.1145\/308386.308444"},{"issue":"l","key":"38_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction of the algorithm in reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(l), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"issue":"l","key":"38_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(l), 57\u201396 (1987)","journal-title":"Artificial Intelligence"},{"key":"38_CR9","unstructured":"Wietgrefe, H., et al.: Using neural networks for alarm correlation in cellular phone networks. In: Proc. of Ws on Applications of Neural Networks in Telecommunications (1997)"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T22:31:08Z","timestamp":1559687468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}