{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:29:00Z","timestamp":1725737340270},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642391453"},{"type":"electronic","value":"9783642391460"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39146-0_17","type":"book-chapter","created":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T01:46:34Z","timestamp":1372211194000},"page":"183-194","source":"Crossref","is-referenced-by-count":6,"title":["Inconsistency Knowledge Discovery for Longitudinal Data Management: A Model-Based Approach"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Boselli","sequence":"first","affiliation":[]},{"given":"Mirko","family":"Cesarini","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Mercorio","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Mezzanzanica","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/980972.981004","volume":"5","author":"U.M. Fayyad","year":"2003","unstructured":"Fayyad, U.M., Piatetsky-Shapiro, G., Uthurusamy, R.: Summary from the kdd-03 panel. ACM SIGKDD Explorations Newsletter\u00a05(2), 191\u2013196 (2003)","journal-title":"ACM SIGKDD Explorations Newsletter"},{"unstructured":"Mezzanzanica, M., Boselli, R., Cesarini, M., Mercorio, F.: Data quality sensitivity analysis on aggregate indicators. In: International Conference on Data Technologies and Applications (DATA), pp. 97\u2013108. SciTePress (2012)","key":"17_CR2"},{"key":"17_CR3","first-page":"19","volume-title":"Data Mining and Knowledge Discovery Handbook","author":"J. Maletic","year":"2010","unstructured":"Maletic, J., Marcus, A.: Data cleansing: A prelude to knowledge discovery. In: Data Mining and Knowledge Discovery Handbook, pp. 19\u201332. Springer, US (2010)"},{"unstructured":"Batini, C., Scannapieco, M.: Data Quality: Concepts, Methodologies and Techniques. Data-Centric Systems and Applications. Springer (2006)","key":"17_CR4"},{"issue":"3","key":"17_CR5","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/TVCG.2003.1207445","volume":"9","author":"M.C. Ferreira de Oliveira","year":"2003","unstructured":"Ferreira de Oliveira, M.C., Levkowitz, H.: From visual data exploration to visual data mining: A survey. IEEE Trans. Vis. Comput. Graph.\u00a09(3), 378\u2013394 (2003)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-25364-5_11","volume-title":"Information Quality in e-Health","author":"B.L.W. Wong","year":"2011","unstructured":"Wong, B.L.W., Xu, K., Holzinger, A.: Interactive visualization for information analysis in medical diagnosis. In: Holzinger, A., Simonic, K.-M. (eds.) USAB 2011. LNCS, vol.\u00a07058, pp. 109\u2013120. Springer, Heidelberg (2011)"},{"unstructured":"Parsaye, K., Chignell, M.: Intelligent Database Tools and Applications: Hyperinformation access, data quality, visualization, automatic discovery. John Wiley (1993)","key":"17_CR7"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/978-3-642-35236-2_60","volume-title":"Active Media Technology","author":"P. Clemente","year":"2012","unstructured":"Clemente, P., Kaba, B., Rouzaud-Cornabas, J., Alexandre, M., Aujay, G.: Sptrack: Visual analysis of information flows within selinux policies and attack logs. In: Huang, R., Ghorbani, A.A., Pasi, G., Yamaguchi, T., Yen, N.Y., Jin, B. (eds.) AMT 2012. LNCS, vol.\u00a07669, pp. 596\u2013605. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Simonic, K.M., Holzinger, A., Bloice, M., Hermann, J.: Optimizing long-term treatment of rheumatoid arthritis with systematic documentation. In: IEEE International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth, pp. 550\u2013554 (2011)","key":"17_CR9","DOI":"10.4108\/icst.pervasivehealth.2011.246087"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-24800-9_26","volume-title":"Advances in Intelligent Data Analysis X","author":"M. Mezzanzanica","year":"2011","unstructured":"Mezzanzanica, M., Boselli, R., Cesarini, M., Mercorio, F.: Data quality through model checking techniques. In: Gama, J., Bradley, E., Hollm\u00e9n, J. (eds.) IDA 2011. LNCS, vol.\u00a07014, pp. 270\u2013281. Springer, Heidelberg (2011)"},{"unstructured":"European Telecommunications Standards Institute ES 201 671: Handover interface for the lawful interception of telecommunications traffic (2009)","key":"17_CR11"},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM TOPLAS\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F.: UPMurphi: a tool for universal planning on PDDL+ problems. In: ICAPS, pp. 106\u2013113. AAAI Press (2009)","key":"17_CR13","DOI":"10.1609\/icaps.v19i1.13352"},{"issue":"2","key":"17_CR14","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/AIC-130556","volume":"26","author":"F. Mercorio","year":"2013","unstructured":"Mercorio, F.: Model checking for universal planning in deterministic and non-deterministic domains. AI Communications\u00a026(2), 257\u2013259 (2013)","journal-title":"AI Communications"},{"issue":"1","key":"17_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00625968","volume":"9","author":"C. Norris Ip","year":"1996","unstructured":"Norris Ip, C., Dill, D.: Better verification through symmetry. Formal Methods in System Design\u00a09(1), 41\u201375 (1996)","journal-title":"Formal Methods in System Design"},{"unstructured":"Martini, M., Mezzanzanica, M.: The Federal Observatory of the Labour Market in Lombardy: Models and Methods for the Construction of a Statistical Information System for Data Analysis. In: Information Systems for Regional Labour Market Monitoring - State of the Art and Prospectives. Rainer Hampp Verlag (2009)","key":"17_CR16"},{"issue":"2","key":"17_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF01898350","volume":"1","author":"A. Inselberg","year":"1985","unstructured":"Inselberg, A.: The plane with parallel coordinates. The Visual Computer\u00a01(2), 69\u201391 (1985)","journal-title":"The Visual Computer"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39146-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T13:04:16Z","timestamp":1688303056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39146-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642391453","9783642391460"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39146-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}