{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:11:45Z","timestamp":1770894705899,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1007\/bf01531004","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:14:50Z","timestamp":1113869690000},"page":"165-178","source":"Crossref","is-referenced-by-count":25,"title":["Logical and algorithmic properties of independence and their application to Bayesian networks"],"prefix":"10.1007","volume":"2","author":[{"given":"Dan","family":"Geiger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judea","family":"Pearl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"S. Andreassen, M. Woldbye, B. Falck and S.K. Andersen, MUNIN ? A causal probabilistic network for interpretation of electromyographic findings,Proc. 10th Int. Joint Conf. on AI (IJCAI-87), Milan, Italy (1987) pp. 366?372."},{"issue":"no. 3","key":"CR2","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1145\/320613.320614","volume":"5","author":"C. Beeri","year":"1980","unstructured":"C. Beeri, On the membership problem for functional and multivalued dependencies in relational databases, ACM Trans. Database Systems 5, no. 3 (Sept. 1980) 241?249.","journal-title":"ACM Trans. Database Systems"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"C. Beeri, R. Fagin and J.H. Howard, A complete axiomatization of functional dependencies and multivalued dependencies in database relations,Proc. ACM SIGMOD Int. Conf. on Management of Data, Toronto, Canada (1977) pp. 47?61.","DOI":"10.1145\/509404.509414"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TPAMI.1980.4766992","volume":"PAMI-2","author":"M. Ben-Bassat","year":"1980","unstructured":"M. Ben-Bassat, R.W. Carlson, V.K. Puri, E. Lipnic, L.D. Portigal and M.H. Weil, Pattern-based interactive diagnosis of multiple disorders: The MEDAS system, IEEE Trans. Pattern Anal. Machine Intelligence PAMI-2 (1980) 148?160.","journal-title":"IEEE Trans. Pattern Anal. Machine Intelligence"},{"key":"CR5","volume-title":"Mathematical methods of statistics","author":"H.M. Cram\u00e9r","year":"1946","unstructured":"H.M. Cram\u00e9r,Mathematical methods of statistics (Princeton University Press, Princeton, N.J., 1946)."},{"key":"CR6","first-page":"1","volume":"B41","author":"A.P. Dawid","year":"1979","unstructured":"A.P. Dawid, Conditional independence in statistical theory (with discussion), J. Roy. Statist. Soc. B41 (1979) 1?31.","journal-title":"J. Roy. Statist. Soc."},{"key":"CR7","unstructured":"R.O. Duda, P.E. Hart, P. Barnett, J. Gaschnig, K. Konolige, R. Reboh and J. Slocum, Development of the PROSPECTOR consultant system for mineral exploration, Final Report for SRI Projects 5821 and 6915, Artificial Intelligence Center, SRI International (1978)."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R. Fagin","year":"1977","unstructured":"R. Fagin, Functional dependencies in a relational database and prepositional logic, IBM J. Res. Dev. 21 (1977) 534?544.","journal-title":"IBM J. Res. Dev."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/320557.320571","volume":"2","author":"R. Fagin","year":"1977","unstructured":"R. Fagin, Multivalued dependencies and a new form for relational databases, ACM Trans. on Database Systems 2 (1977) 262?278.","journal-title":"ACM Trans. on Database Systems"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"R. Fagin, Horn clauses and database dependencies, JACM 29 (1982) 952?985.","journal-title":"JACM"},{"key":"CR11","unstructured":"D. Geiger, Thesis, UCLA, Cognitive Systems Laboratory, Technical Report R-102 (Dec. 1987)."},{"key":"CR12","unstructured":"D. Geiger, A. Paz and J. Pearl, Axioms and algorithms for inferences involving probabilistic independence, UCLA, Cognitive Systems Laboratory, Technical Report R-119 (1988) to appear in: Information and Computation."},{"key":"CR13","unstructured":"D. Geiger and J. Pearl, On the logic of causal models, in:Proc. 4th Workshop on Uncertainty in AI, Minneapolis, Minnesota (Aug. 1988) pp. 136?147."},{"key":"CR14","unstructured":"D. Geiger and J. Pearl, Logical and algorithmic properties of conditional independence and qualitative independence, UCLA, Cognitive Systems Laboratory, Technical Report R-97 (March 1988)."},{"key":"CR15","unstructured":"D. Geiger, T. Verma and J. Pearl, Identifying independence in Bayesian networks, UCLA, Cognitive Systems Laboratory, Technical Report R-116 (1989), to appear in Networks."},{"key":"CR16","volume-title":"Principles and Applications of Decision Analysis","author":"R. Howard","year":"1981","unstructured":"R. Howard and J.E. Matheson, Influence diagrams, in: Principles and Applications of Decision Analysis, Menlo Park, CA, Strategic Decision Group (1981)."},{"key":"CR17","unstructured":"D. Hunter, Graphoids, semi-graphoids, and ordinal conditional independence, in preparation (1988)."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"21","DOI":"10.2307\/1403035","volume":"49","author":"V. Isham","year":"1981","unstructured":"V. Isham, An introduction to spatial point processes and Markov random fields, Int. Statist. Rev. 49 (1981) 21?43.","journal-title":"Int. Statist. Rev."},{"key":"CR19","volume-title":"Correlation and causality","author":"D.A. Kenny","year":"1979","unstructured":"D.A. Kenny,Correlation and causality (Wiley, New York, 1979)."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1017\/S1446788700027312","volume":"36","author":"H. Kiiveri","year":"1984","unstructured":"H. Kiiveri, T.P. Speed and J.B. Carlin, Recursive causal models, J. Austral. Math. Soc. 36 (1984) 30?52.","journal-title":"J. Austral. Math. Soc."},{"key":"CR21","volume-title":"Lectures on contingency tables","author":"S.L. Lauritzen","year":"1982","unstructured":"S.L. Lauritzen,Lectures on contingency tables, 2nd ed. (University of Aalborg Press, Aalborg, Denmark, 1982).","edition":"2nd ed."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"B50","author":"S.L. Lauritzen","year":"1988","unstructured":"S.L. Lauritzen and D. Spiegelhalter, Local computation with probabilities on graphical structures, and their application to expert systems (with discussion), J. Roy. Statist. Soc. B50 (1988) 157?244.","journal-title":"J. Roy. Statist. Soc."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"D.S. Parker and K. Parsaye-Ghomi, Inferences involving embedded multivalued dependencies and transitive dependencies, in:Proc. ACM SIGMOD Int. Conf. on Management of Data (1980) pp. 52?57.","DOI":"10.1145\/582250.582259"},{"key":"CR24","unstructured":"A. Paz, Membership algorithm for marginal independence, UCLA, Cognitive Systems Laboratory, Technical Report R-117 (September 1988)."},{"key":"CR25","unstructured":"A. Paz, A full characterization of pseudographoids in terms of families of undirected graphs, UCLA, Cognitive Systems Laboratory, Technical report R-95 (September 1987)."},{"key":"CR26","unstructured":"J. Pearl, Markov and Bayes networks: A comparison of two graphical representations of probabilistic knowledge, UCLA, Cognitive Systems Laboratory, Technical Report R-46 (October 1986). Also in [28] (chapter 3)."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J. Pearl","year":"1986","unstructured":"J. Pearl, Fusion, propagation and structuring in belief networks, Artificial Intelligence 29 (1986) 241?288.","journal-title":"Artificial Intelligence"},{"key":"CR28","volume-title":"Probabilistic reasoning in intelligent systems: Networks of plausible inference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl,Probabilistic reasoning in intelligent systems: Networks of plausible inference (Morgan Kaufmann, San Mateo, 1988)."},{"key":"CR29","unstructured":"J. Pearl, D. Geiger and T. Verma, The logic of influence diagrams, to appear in:Influence Diagrams, Belief Nets and Decision Analysis, eds. R.M. Oliver and J.Q. Smith (Wiley, 1989). A shorter version in Kybernetika 25, no. 2 (1989) 33?44."},{"key":"CR30","first-page":"357","volume-title":"Advances in Artificial Intelligence ? II","author":"J. Pearl","year":"1987","unstructured":"J. Pearl and A. Paz, Graphoids: A graph-based logic for reasoning about relevance relations,Advances in Artificial Intelligence ? II, eds. B. Du Boulay et al. (North-Holland, Amsterdam, 1987) pp. 357?363."},{"key":"CR31","unstructured":"J. Pearl and T. Verma, The logic of representing dependencies by directed acyclic graphs,Proc. AAA-I, Seattle, Washington (July 1987) pp. 374?379."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/322290.322297","volume":"29","author":"Y. Sagiv","year":"1982","unstructured":"Y. Sagiv and S. Walecka, Subset dependencies and completeness results for a subset of EMVD, JACM 29 (1982) pp. 103?117.","journal-title":"JACM"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1287\/opre.36.4.589","volume":"36","author":"R. Shachter","year":"1988","unstructured":"R. Shachter, Probabilistic inference and influence diagrams, Oper. Res. 36 (1988) 589?604.","journal-title":"Oper. Res."},{"key":"CR34","first-page":"349","volume":"1","author":"P. Shenoy","year":"1989","unstructured":"P. Shenoy and G. Shafer, Propagating belief functions in qualitative Markov trees, Int. J. Approximate Reasoning 1 (1989) 349?400.","journal-title":"Int. J. Approximate Reasoning"},{"key":"CR35","unstructured":"J.O. Smith, Influence diagrams for statistical modeling, Technical Report 117, Department of Statistics, University of Warwick, Coventry, UK."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF00258078","volume":"9","author":"W. Spohn","year":"1980","unstructured":"W. Spohn, Stochastic independence, causal independence, and shieldability, J. Philos. Logic 9 (1980) 371?397.","journal-title":"J. Philos. Logic"},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states,Causation in Decision, Belief Change, and Statistics, vol. 2, eds. W.L. Harper and B. Skyrms (1988) pp. 105?134.","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"CR38","volume-title":"Workshop on Uncertainty in Expert Systems","author":"M. Studeny","year":"1988","unstructured":"M. Studeny, Attempts at axiomatic description of conditional independence,Workshop on Uncertainty in Expert Systems, Alsovice, Chechoslovakia (1988)."},{"key":"CR39","first-page":"171","volume-title":"Trends in Theoretical Computer Science","author":"M. Vardi","year":"1988","unstructured":"M. Vardi, Fundamentals of dependency theory, in:Trends in Theoretical Computer Science, ed. E. Borger (Computer Science Press, Rockville, MD, 1988) pp. 171?224."},{"key":"CR40","unstructured":"T. Verma and J. Pearl, Causal networks: Semantics and expressiveness, in:Proc. 4th Workshop on Uncertainty in AI, Minneapolis, Minnesota (1988) pp. 352?358."},{"key":"CR41","doi-asserted-by":"crossref","first-page":"537","DOI":"10.2307\/2336490","volume":"70","author":"N. Wermouth","year":"1983","unstructured":"N. Wermouth and S.L. Lauritzen, Graphical and recursive models for contingency tables, Biometrika 70 (1983) 537?552.","journal-title":"Biometrika"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531004\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531004.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531004\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T19:41:38Z","timestamp":1735674098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":41,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF01531004"],"URL":"https:\/\/doi.org\/10.1007\/bf01531004","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}