{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:05:51Z","timestamp":1742929551280,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458557"},{"type":"electronic","value":"9783319458564"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45856-4_14","type":"book-chapter","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T11:21:28Z","timestamp":1472469688000},"page":"199-213","source":"Crossref","is-referenced-by-count":2,"title":["Metric Logic Program Explanations for Complex Separator Functions"],"prefix":"10.1007","author":[{"given":"Srijan","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edoardo","family":"Serra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Spezzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,30]]},"reference":[{"unstructured":"Online appendix (2016). https:\/\/sites.google.com\/site\/mlpextraction\/","key":"14_CR1"},{"issue":"2","key":"14_CR2","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/170036.170072","volume":"22","author":"R Agrawal","year":"1993","unstructured":"Agrawal, R., Imieli\u0144ski, T., Swami, A.: Mining association rules between sets of items in large databases. SIGMOD Rec. 22(2), 207\u2013216 (1993)","journal-title":"SIGMOD Rec."},{"issue":"1\u20133","key":"14_CR3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/j.neucom.2010.02.016","volume":"74","author":"NH Barakat","year":"2010","unstructured":"Barakat, N.H., Bradley, A.P.: Rule extraction from support vector machines: a review. Neurocomputing 74(1\u20133), 178\u2013190 (2010)","journal-title":"Neurocomputing"},{"issue":"1","key":"14_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10601-012-9132-0","volume":"18","author":"N Beldiceanu","year":"2013","unstructured":"Beldiceanu, N., Carlsson, M., Flener, P., Pearson, J.: On the reification of global constraints. Constraints 18(1), 1\u20136 (2013)","journal-title":"Constraints"},{"key":"14_CR5","volume-title":"Classification and Regression Trees","author":"L Breiman","year":"1984","unstructured":"Breiman, L., Friedman, J., Olshen, R., Stone, C.: Classification and Regression Trees. Wadsworth and Brooks, Monterey (1984)"},{"doi-asserted-by":"crossref","unstructured":"Cohen, W.W.: Fast effective rule induction. In: ICML, pp. 115\u2013123 (1995)","key":"14_CR6","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"key":"14_CR7","first-page":"24","volume":"8","author":"MW Craven","year":"1996","unstructured":"Craven, M.W., Shavlik, J.W.: Extracting tree-structured representations of trained networks. Adv. Neural Inf. Process. Syst. 8, 24\u201330 (1996)","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"14_CR8","series-title":"Studies in Computational Intelligence","volume-title":"Rule Extraction from Support Vector Machines","year":"2008","unstructured":"Diederich, J. (ed.): Rule Extraction from Support Vector Machines. Studies in Computational Intelligence, vol. 80. Springer, Heidelberg (2008)"},{"issue":"5","key":"14_CR9","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1137\/0217060","volume":"17","author":"ME Dyer","year":"1988","unstructured":"Dyer, M.E., Frieze, A.M.: On the complexity of computing the volume of a polyhedron. SIAM J. Comput. 17(5), 967\u2013974 (1988)","journal-title":"SIAM J. Comput."},{"issue":"1","key":"14_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM (JACM) 42(1), 3\u201342 (1995)","journal-title":"J. ACM (JACM)"},{"doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: POPL, pp. 111\u2013119 (1987)","key":"14_CR11","DOI":"10.1145\/41625.41635"},{"issue":"1","key":"14_CR12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"AC Kakas","year":"2000","unstructured":"Kakas, A.C., Michael, A., Mourlas, C.: ACLP: abductive constraint logic programming. J. Log. Program. 44(1), 129\u2013177 (2000)","journal-title":"J. Log. Program."},{"key":"14_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, New York (1987)"},{"issue":"2","key":"14_CR14","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TKDE.2008.131","volume":"21","author":"D Martens","year":"2009","unstructured":"Martens, D., Baesens, B., Van Gestel, T.: Decompositional rule extraction from support vector machines by active learning. IEEE Trans. Knowl. Data Eng. 21(2), 178\u2013191 (2009)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"14_CR15","volume-title":"C4.5: Programs for Machine Learning","author":"JR Quinlan","year":"1993","unstructured":"Quinlan, J.R.: C4.5: Programs for Machine Learning. Morgan Kaufmann Publishers Inc., Los Altos (1993)"},{"key":"14_CR16","first-page":"300","volume-title":"Readings in Nonmonotonic Reasoning","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: On closed world data bases. In: Ginsberg, M.L. (ed.) Readings in Nonmonotonic Reasoning, pp. 300\u2013310. Kaufmann, Los Altos (1987)"},{"issue":"6","key":"14_CR17","doi-asserted-by":"crossref","first-page":"1392","DOI":"10.1109\/72.809084","volume":"10","author":"GP Schmitz","year":"1999","unstructured":"Schmitz, G.P., Aldrich, C., Gouws, F.S.: ANN-DT: an algorithm for extraction of decision trees from artificial neural networks. IEEE Trans. Neural Netw. 10(6), 1392\u20131401 (1999)","journal-title":"IEEE Trans. Neural Netw."},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.knosys.2012.12.003","volume":"42","author":"P Zhu","year":"2013","unstructured":"Zhu, P., Qinghua, H.: Rule extraction from support vector machines based on consistent region covering reduction. Knowl. Based Syst. 42, 1\u20138 (2013)","journal-title":"Knowl. Based Syst."}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45856-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:34:11Z","timestamp":1498325651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45856-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458557","9783319458564"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45856-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}