{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:39:47Z","timestamp":1743151187403,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_16","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"224-238","source":"Crossref","is-referenced-by-count":0,"title":["Logics for Approximating Implication Problems of Saturated Conditional Independence"],"prefix":"10.1007","author":[{"given":"Henning","family":"Koehler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Link","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0304-3975(80)90075-4","volume":"10","author":"J. Biskup","year":"1980","unstructured":"Biskup, J.: Inferences of multivalued dependencies in fixed and undetermined universes. Theor. Comput. Sci.\u00a010(1), 93\u2013106 (1980)","journal-title":"Theor. Comput. Sci."},{"issue":"3-4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10472-012-9275-0","volume":"63","author":"J. Biskup","year":"2012","unstructured":"Biskup, J., Link, S.: Appropriate inferences of data dependencies in relational databases. Ann. Math. Artif. Intell.\u00a063(3-4), 213\u2013255 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-33362-0_28","volume-title":"Scalable Uncertainty Management","author":"J. Biskup","year":"2012","unstructured":"Biskup, J., Hartmann, S., Link, S.: Probabilistic conditional independence under schema certainty and uncertainty. In: H\u00fcllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol.\u00a07520, pp. 365\u2013378. Springer, Heidelberg (2012)"},{"issue":"2-3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/A:1007469629108","volume":"29","author":"D.M. Chickering","year":"1997","unstructured":"Chickering, D.M., Heckerman, D.: Efficient approximations for the marginal likelihood of Bayesian networks with hidden variables. Machine Learning\u00a029(2-3), 181\u2013212 (1997)","journal-title":"Machine Learning"},{"issue":"1","key":"16_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1979.tb01052.x","volume":"41","author":"A.P. Dawid","year":"1979","unstructured":"Dawid, A.P.: Conditional independence in statistical theory. Journal of the Royal Statistical Society. Series B (Methodological)\u00a041(1), 1\u201331 (1979)","journal-title":"Journal of the Royal Statistical Society. Series B (Methodological)"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.2517-6161.1977.tb01600.x","volume":"39","author":"A. Dempster","year":"1977","unstructured":"Dempster, A., Laird, N.M., Rubin, D.: Maximum likelihood from incomplete data via the EM algorithm. Journal of the Royal Statistical Society B\u00a039, 1\u201339 (1977)","journal-title":"Journal of the Royal Statistical Society B"},{"key":"16_CR7","unstructured":"Friedman, N.: Learning belief networks in the presence of missing values and hidden variables. In: Fisher, D.H. (ed.) Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, pp. 125\u2013133. Morgan Kaufmann (1997)"},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/322290.322296","volume":"29","author":"Z. Galil","year":"1982","unstructured":"Galil, Z.: An almost linear-time algorithm for computing a dependency basis in a relational database. J. ACM\u00a029(1), 96\u2013102 (1982)","journal-title":"J. ACM"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"2001","DOI":"10.1214\/aos\/1176349407","volume":"21","author":"D. Geiger","year":"1993","unstructured":"Geiger, D., Pearl, J.: Logical and algorithmic properties of conditional independence and graphical models. The Annals of Statistics\u00a021(4), 2001\u20132021 (1993)","journal-title":"The Annals of Statistics"},{"key":"16_CR10","unstructured":"Halpern, J.Y.: Reasoning about uncertainty. MIT Press (2005)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Hartmann, S., Link, S.: The implication problem of data dependencies over SQL table definitions: axiomatic, algorithmic and logical characterizations. ACM Trans. Database Syst. 37(2), Article 13 (2012)","DOI":"10.1145\/2188349.2188355"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1148","volume":"122","author":"C. Herrmann","year":"1995","unstructured":"Herrmann, C.: On the undecidability of implications between embedded multivalued database dependencies. Inf. Comput.\u00a0122(2), 221\u2013235 (1995)","journal-title":"Inf. Comput."},{"key":"16_CR13","unstructured":"Koehler, H., Link, S.: Saturated conditional independence with fixed and undetermined sets of incomplete random variables. In: Zhang, N.L., Tian, J. (eds.) Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, Quebec City, Quebec, Canada, July 23-27. AUAI Press (2013)"},{"key":"16_CR14","unstructured":"Koller, D., Friedman, N.: Probabilistic Graphical Models - Principles and Techniques. MIT Press (2009)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0167-9473(93)E0056-A","volume":"19","author":"S. Lauritzen","year":"1995","unstructured":"Lauritzen, S.: The EM algorithm for graphical association models with missing data. Computational Statistics and Data Analysis\u00a019, 191\u2013201 (1995)","journal-title":"Computational Statistics and Data Analysis"},{"issue":"1","key":"16_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/IA-130046","volume":"7","author":"M. Lenzerini","year":"2013","unstructured":"Lenzerini, M., Schaerf, M.: The scientific legacy of Marco Cadoli in artificial intelligence. Intelligenza Artificiale\u00a07(1), 1\u20135 (2013)","journal-title":"Intelligenza Artificiale"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/322307.322311","volume":"29","author":"E. Lien","year":"1982","unstructured":"Lien, E.: On the equivalence of database models. J. ACM\u00a029(2), 333\u2013362 (1982)","journal-title":"J. ACM"},{"issue":"7-8","key":"16_CR18","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s00236-008-0080-5","volume":"45","author":"S. Link","year":"2008","unstructured":"Link, S.: Charting the completeness frontier of inference systems for multivalued dependencies. Acta Inf.\u00a045(7-8), 565\u2013591 (2008)","journal-title":"Acta Inf."},{"issue":"4","key":"16_CR19","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.jcss.2011.12.012","volume":"78","author":"S. Link","year":"2012","unstructured":"Link, S.: Characterizations of multivalued dependency implication over undetermined universes. J. Comput. Syst. Sci.\u00a078(4), 1026\u20131044 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"16_CR20","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.jal.2013.05.004","volume":"11","author":"S. Link","year":"2013","unstructured":"Link, S.: Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty. J. Applied Logic\u00a011(3), 309\u2013327 (2013)","journal-title":"J. Applied Logic"},{"key":"16_CR21","unstructured":"Marlin, B.M., Zemel, R.S., Roweis, S.T., Slaney, M.: Recommender systems, missing data and statistical model estimation. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, July 16-22, pp. 2686\u20132691. IJCAI\/AAAI (2011)"},{"issue":"5","key":"16_CR22","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1016\/j.ijar.2010.01.011","volume":"51","author":"M. Niepert","year":"2010","unstructured":"Niepert, M., Van Gucht, D., Gyssens, M.: Logical and algorithmic properties of stable conditional independence. Int. J. Approx. Reasoning\u00a051(5), 531\u2013543 (2010)","journal-title":"Int. J. Approx. Reasoning"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.artint.2013.06.005","volume":"202","author":"M. Niepert","year":"2013","unstructured":"Niepert, M., Gyssens, M., Sayrafi, B., Gucht, D.V.: On the conditional independence implication problem: A lattice-theoretic approach. Artif. Intell.\u00a0202, 29\u201351 (2013)","journal-title":"Artif. Intell."},{"key":"16_CR24","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"key":"16_CR25","first-page":"1623","volume":"8","author":"M. Saar-Tsechansky","year":"2007","unstructured":"Saar-Tsechansky, M., Provost, F.J.: Handling missing values when applying classification models. Journal of Machine Learning Research\u00a08, 1623\u20131657 (2007)","journal-title":"Journal of Machine Learning Research"},{"issue":"3","key":"16_CR26","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/322261.322263","volume":"28","author":"Y. Sagiv","year":"1981","unstructured":"Sagiv, Y., Delobel, C., Parker Jr., D.S., Fagin, R.: An equivalence between relational database dependencies and a fragment of propositional logic. J. ACM\u00a028(3), 435\u2013453 (1981)","journal-title":"J. ACM"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artif. Intell.\u00a074, 249\u2013310 (1995)","journal-title":"Artif. Intell."},{"key":"16_CR28","unstructured":"Singh, M.: Learning bayesian networks from incomplete data. In: Kuipers, B., Webber, B.L. (eds.) Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 1997, IAAI 1997, Providence, Rhode Island, July 27-31, pp. 534\u2013539. AAAI Press\/The MIT Press (1997)"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Stott Parker Jr., D., Parsaye-Ghomi, K.: Inferences involving embedded multivalued dependencies and transitive dependencies. In: Chen, P.P., Sprowls, R.C. (eds.) Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, Santa Monica, California, May 14-16, pp. 52\u201357. ACM Press (1980)","DOI":"10.1145\/582250.582259"},{"key":"16_CR30","unstructured":"Studen\u00fd, M.: Conditional independence relations have no finite complete characterization. In: \u00c1mos V\u00ed\u0161ek, J. (ed.) Transactions of the 11th Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, Prague, Czech Republic, August 27-31, 1990, pp. 377\u2013396. Academia (1992)"},{"issue":"6","key":"16_CR31","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/3468.895901","volume":"30","author":"S. Wong","year":"2000","unstructured":"Wong, S., Butz, C., Wu, D.: On the implication problem for probabilistic conditional independency. IEEE Trans. Systems, Man, and Cybernetics, Part A: Systems and Humans\u00a030(6), 785\u2013805 (2000)","journal-title":"IEEE Trans. Systems, Man, and Cybernetics, Part A: Systems and Humans"},{"key":"16_CR32","unstructured":"Zhu, X., Zhang, S., Zhang, J., Zhang, C.: Cost-sensitive imputing missing values with ordering. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, pp. 1922\u20131923. AAAI Press (2007)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T14:24:00Z","timestamp":1717338240000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}