{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:10Z","timestamp":1760202730149},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"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-662-52921-8_11","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T15:22:30Z","timestamp":1470410550000},"page":"165-182","source":"Crossref","is-referenced-by-count":6,"title":["A Logical Approach to Context-Specific Independence"],"prefix":"10.1007","author":[{"given":"Jukka","family":"Corander","sequence":"first","affiliation":[]},{"given":"Antti","family":"Hyttinen","sequence":"additional","affiliation":[]},{"given":"Juha","family":"Kontinen","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Pensar","sequence":"additional","affiliation":[]},{"given":"Jouko","family":"V\u00e4\u00e4n\u00e4nen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"11_CR1","unstructured":"Boutilier, C., Friedman, N., Goldszmidt, M., Koller, D.: Context-specific independence in Bayesian networks. In: Proceedings of the Twelfth International Conference on Uncertainty in Artificial Intelligence. UAI 1996, pp. 115\u2013123. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1996). http:\/\/dl.acm.org\/citation.cfm?id=2074284.2074298"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2984718","volume":"41","author":"AP Dawid","year":"1979","unstructured":"Dawid, A.P.: Conditional independence in statistical theory. J. Roy. Stat. Soc. Ser. B (Methodological) 41(1), 1\u201331 (1979). doi: 10.2307\/2984718","journal-title":"J. Roy. Stat. Soc. Ser. B (Methodological)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-319-30024-5_15","volume-title":"Foundations of Information and Knowledge Systems","author":"A Durand","year":"2016","unstructured":"Durand, A., Hannula, M., Kontinen, J., Meier, A., Virtema, J.: Approximation and dependence via multiteam semantics. In: Gyssens, M., et al. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 271\u2013291. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-30024-5_15"},{"issue":"1","key":"11_CR4","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Ann. Pure Appl. Logic 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"11_CR5","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","volume":"91","author":"D Geiger","year":"1991","unstructured":"Geiger, D., Paz, A., Pearl, J.: Axioms and algorithms for inferences involving probabilistic independence. Inf. Comput. 91(1), 128\u2013141 (1991)","journal-title":"Inf. Comput."},{"key":"11_CR6","unstructured":"Geiger, D., Pearl, J.: On the logic of causal models. In: Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence. UAI 1988, pp. 3\u201314. North-Holland Publishing Co., Amsterdam, The Netherlands (1990). http:\/\/dl.acm.org\/citation.cfm?id=647231.719429"},{"issue":"5","key":"11_CR7","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1002\/net.3230200504","volume":"20","author":"D Geiger","year":"1990","unstructured":"Geiger, D., Verma, T., Pearl, J.: Identifying independence in Bayesian networks. Networks 20(5), 507\u2013534 (1990)","journal-title":"Networks"},{"issue":"2","key":"11_CR8","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.A.: Dependence and independence. Stud. Logica 101(2), 399\u2013410 (2013)","journal-title":"Stud. Logica"},{"issue":"11","key":"11_CR9","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1016\/j.ipl.2014.05.010","volume":"114","author":"M Gyssens","year":"2014","unstructured":"Gyssens, M., Niepert, M., Gucht, D.V.: On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements. Inf. Process. Lett. 114(11), 628\u2013633 (2014). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020019014001057","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.apal.2014.09.002","volume":"166","author":"M Hannula","year":"2015","unstructured":"Hannula, M.: Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Logic 166(1), 61\u201391 (2015). doi: 10.1016\/j.apal.2014.09.002","journal-title":"Ann. Pure Appl. Logic"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-662-48899-7_2","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M Hannula","year":"2015","unstructured":"Hannula, M.: Reasoning about embedded dependencies using inclusion dependencies. In: Davis, M., Fehnker, A., McIver, A., Voronkov, A. (eds.) LPAR-20 2015. LNCS, vol. 9450, pp. 16\u201330. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-48899-7_2"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-319-04939-7_10","volume-title":"Foundations of Information and Knowledge Systems","author":"M Hannula","year":"2014","unstructured":"Hannula, M., Kontinen, J.: A finite axiomatization of conditional independence and inclusion dependencies. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 211\u2013229. Springer, Heidelberg (2014)"},{"issue":"2","key":"11_CR13","doi-asserted-by":"crossref","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. 122(2), 221\u2013235 (1995)","journal-title":"Inf. Comput."},{"key":"11_CR14","volume-title":"Probabilistic graphical models: principles and techniques","author":"D Koller","year":"2009","unstructured":"Koller, D., Friedman, N.: Probabilistic graphical models: principles and techniques. MIT Press, Cambridge (2009)"},{"issue":"11","key":"11_CR15","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1016\/j.apal.2013.05.006","volume":"164","author":"J Kontinen","year":"2013","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.A.: Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Logic 164(11), 1101\u20131117 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Link, S.: Reasoning about saturated conditional independence under uncertainty: axioms, algorithms, and levesque\u2019s situations to the rescue. In: Proceedings of AAAI. AAAI Press (2013)","DOI":"10.1609\/aaai.v27i1.8564"},{"issue":"3","key":"11_CR17","doi-asserted-by":"crossref","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. Appl. Logic 11(3), 309\u2013327 (2013)","journal-title":"J. Appl. Logic"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2015.07.017","volume":"603","author":"S Link","year":"2015","unstructured":"Link, S.: Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions. Theor. Comput. Sci. 603, 111\u2013131 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR19","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. 202, 29\u201351 (2013). doi: 10.1016\/j.artint.2013.06.005","journal-title":"Artif. Intell."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Nyman, H., Pensar, J., Corander, J.: Context-specific and local independence in Markovian dependence structures. In: Dependence Logic: Theory and Applications. Springer (To appear) (2016)","DOI":"10.1007\/978-3-319-31803-5_10"},{"key":"11_CR21","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)"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s10618-014-0355-0","volume":"29","author":"J Pensar","year":"2015","unstructured":"Pensar, J., Nyman, H.J., Koski, T., Corander, J.: Labeled directed acyclic graphs: a generalization of context-specific independence in directed graphical models. Data Min. Knowl. Discov. 29(2), 503\u2013533 (2015). doi: 10.1007\/s10618-014-0355-0","journal-title":"Data Min. Knowl. Discov."},{"key":"11_CR23","series-title":"Information Theory, Statistical Decision Functions and Random Processes","first-page":"377","volume-title":"Transactions of the 11th Prague Conference","author":"M Studeny","year":"1992","unstructured":"Studeny, M.: Conditional independence relations have no finite complete characterization. In: Kubik, S., Visek, J. (eds.) Transactions of the 11th Prague Conference. Information Theory, Statistical Decision Functions and Random Processes, vol. B, pp. 377\u2013396. Kluwer, Dordrecht (1992)"},{"key":"11_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence logic: A New Approach to Independence Friendly Logic, London Mathematical Society Student Texts","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence logic: A New Approach to Independence Friendly Logic, London Mathematical Society Student Texts, vol. 70. Cambridge University Press, Cambridge (2007)"},{"key":"11_CR25","unstructured":"Verma, T., Pearl, J.: Causal networks: semantics and expressiveness. In: Shachter, R.D., Levitt, T.S., Kanal, L.N., Lemmer, J.F. (eds.) Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence, Minneapolis, MN, USA, 10\u201312 July 1988. UAI 1988, pp. 69\u201378. North-Holland (1988)"},{"issue":"6","key":"11_CR26","doi-asserted-by":"crossref","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. Syst. Man Cybern. Part A: Syst. Hum. 30(6), 785\u2013805 (2000)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-52921-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T06:10:14Z","timestamp":1657001414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}