{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:38:39Z","timestamp":1767339519170},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_48","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"578-590","source":"Crossref","is-referenced-by-count":1,"title":["Discovering Anomalies in Evidential Knowledge by Logic Programming"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Angiulli","sequence":"first","affiliation":[]},{"given":"Gianluigi","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"Aggarwal, C.C., Yu, P.S.: Outlier detection for high dimensional data. In: Proc. ACM Int. Conf. on Managment of Data, pp. 37\u201346 (2001)","DOI":"10.1145\/375663.375668"},{"key":"48_CR2","unstructured":"Angiulli, F., Ben-Eliyahu-Zohary, R., Palopoli, L.: Outlier detection using default logic. In: Proc. of the Int. Joint Conf. on Artificial Intelligence, pp. 833\u2013838 (2003)"},{"key":"48_CR3","unstructured":"Arning, A., Aggarwal, R., Raghavan, P.: A linear method for deviation detection in large databases. In: Proc. Int. Conf. on Knowledge Discovery and Data Mining, pp. 164\u2013169 (1996)"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"Breunig, M.M., Kriegel, H., Ng, R.T., Sander, J.: LOF: Identifying density-based local outliers. In: Proc. ACM Int. Conf. on Managment of Data, pp. 93\u2013104 (2000)","DOI":"10.1145\/342009.335388"},{"issue":"2","key":"48_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/inco.1995.1087","volume":"119","author":"Z. Chen","year":"1995","unstructured":"Chen, Z., Toda, S.: The complexity of selecting maximal solutions. Information and Computation\u00a0119(2), 231\u2013239 (1995)","journal-title":"Information and Computation"},{"key":"48_CR6","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Fifth Int\u2019l Conf.Symp. on Logic Programming, Seattle, pp. 1070\u20131080 (1988)"},{"key":"48_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"48_CR8","unstructured":"Janhunen, T., Niemel\u00e4, I., Simons, P., You, J.-H.: Partiality and disjunctions in stable model semantics. In: KR, pp. 411\u2013419 (2000)"},{"key":"48_CR9","unstructured":"Knorr, E., Ng, R.: Algorithms for mining distance-based outliers in large datasets. In: Proc. Int. Conf. on Very Large Databases, pp. 392\u2013403 (1998)"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic (to Appear)","DOI":"10.1145\/1149114.1149117"},{"issue":"1-2","key":"48_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0004-3702(02)00227-8","volume":"140","author":"F. Lin","year":"2002","unstructured":"Lin, F., You, J.H.: Abduction in logic programming: a new definition and an abductive procedure based on rewriting. Artificial Intelligence\u00a0140(1-2), 175\u2013205 (2002)","journal-title":"Artificial Intelligence"},{"key":"48_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels:An implementation of the stable model and well-founded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"48_CR13","volume-title":"Computatational Complexity","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H.: Computatational Complexity. Addison-Wesley, Reading (1994)"},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Ramaswamy, S., Rastogi, R., Shim, K.: Efficient algorithms for mining outliers from large data sets. In: Proc. ACM Int. Conf. on Managment of Data, pp. 427\u2013438 (2000)","DOI":"10.1145\/342009.335437"},{"issue":"1","key":"48_CR15","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(1), 57\u201396 (1987)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:12Z","timestamp":1620014292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}