{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:29:17Z","timestamp":1737437357228,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752554"},{"type":"electronic","value":"9783540752561"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75256-1_30","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T13:20:53Z","timestamp":1189689653000},"page":"320-331","source":"Crossref","is-referenced-by-count":2,"title":["Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory"],"prefix":"10.1007","author":[{"given":"Norbert","family":"Lehmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res (JAIR)\u00a017, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"30_CR2","first-page":"277","volume-title":"KR 2006, 10th International Conference on Principles of Knowledge Representation and Reasoning","author":"M. Wachter","year":"2006","unstructured":"Wachter, M., Haenni, R.: Propositional DAGs: a new graph-based language for representing Boolean functions. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) KR 2006, 10th International Conference on Principles of Knowledge Representation and Reasoning, Lake District, U.K, pp. 277\u2013285. AAAI Press, Stanford (2006)"},{"key":"30_CR3","series-title":"Lecture Notes in Economics and Mathematical Systems","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-01674-9","volume-title":"A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence","author":"J. Kohlas","year":"1995","unstructured":"Kohlas, J., Monney, P.: A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Lecture Notes in Economics and Mathematical Systems, vol.\u00a0425. Springer, Heidelberg (1995)"},{"key":"30_CR4","unstructured":"Kong, A.: Multivariate Belief Functions and Graphical Models. PhD thesis, Department of Statistics, Harvard University (1986)"},{"key":"30_CR5","first-page":"253","volume-title":"Non-Standard Logics for Automated Reasoning","author":"P. Smets","year":"1988","unstructured":"Smets, P.: Belief functions. In: Smets, P., Mamdani, A., Dubois, D., Prade, H. (eds.) Non-Standard Logics for Automated Reasoning, pp. 253\u2013286. Academic Press, London (1988)"},{"key":"30_CR6","first-page":"269","volume-title":"Conditional Logic in Expert Systems","author":"H.M. Thoma","year":"1991","unstructured":"Thoma, H.M.: Belief function computations. In: Goodman, I.R., Gupta, M.M., Nguyen, H.T., Rogers, G.S. (eds.) Conditional Logic in Expert Systems, pp. 269\u2013307. Elsevier, Amsterdam (1991)"},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"A.P. Dempster","year":"1967","unstructured":"Dempster, A.P.: Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics\u00a038, 325\u2013339 (1967)","journal-title":"Annals of Mathematical Statistics"},{"issue":"Series B","key":"30_CR8","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1111\/j.2517-6161.1968.tb00722.x","volume":"30","author":"A.P. Dempster","year":"1968","unstructured":"Dempster, A.P.: A generalization of Bayesian inference. Journal of the Royal Statistical Society\u00a030(Series B), 205\u2013247 (1968)","journal-title":"Journal of the Royal Statistical Society"},{"key":"30_CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"30_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-540-72665-4_40","volume-title":"Advances in Artificial Intelligence","author":"M. Wachter","year":"2007","unstructured":"Wachter, M., Haenni, R.: Multi-state directed acyclic graphs. In: Kobti, Z., Wu, D. (eds.) Canadian AI 2007. LNCS (LNAI), vol.\u00a04509, pp. 464\u2013475. Springer, Heidelberg (2007)"},{"key":"30_CR11","first-page":"153","volume-title":"Advances in the Dempster- Shafer Theory of Evidence","author":"H. Xu","year":"1994","unstructured":"Xu, H., Kennes, R.: Steps toward efficient implementation of dempster-shafer theory. In: Yager, R.R., Kacprzyk, J., Fedrizzi, M. (eds.) Advances in the Dempster- Shafer Theory of Evidence, pp. 153\u2013174. John Wiley and Sons, New York (1994)"},{"issue":"1","key":"30_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/int.10073","volume":"18","author":"R. Haenni","year":"2003","unstructured":"Haenni, R., Lehmann, N.: Implementing belief function computations. International Journal of Intelligent Systems\u00a018(1), 31\u201349 (2003)","journal-title":"International Journal of Intelligent Systems"},{"issue":"8","key":"30_CR13","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"30_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys\u00a024(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"30_CR15","unstructured":"Somenzi, F.: Binary decision diagrams (1999)"},{"key":"30_CR16","first-page":"52","volume-title":"DAC 1990: Proceedings of the 27th ACM\/IEEE conference on Design automation","author":"S.I. Minato","year":"1990","unstructured":"Minato, S.I., Ishiura, N., Yajima, S.: Shared binary decision diagram with attributed edges for efficient boolean function manipulation. In: DAC 1990: Proceedings of the 27th ACM\/IEEE conference on Design automation, pp. 52\u201357. ACM Press, New York (1990)"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a bdd package. In: DAC, pp. 40\u201345 (1990)","DOI":"10.1145\/123186.123222"},{"issue":"2","key":"30_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/12.73590","volume":"40","author":"R.E. Bryant","year":"1991","unstructured":"Bryant, R.E.: On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. IEEE Transactions on Computers\u00a040(2), 205\u2013213 (1991)","journal-title":"IEEE Transactions on Computers"},{"key":"30_CR19","unstructured":"Somenzi, F.: CUDD: CU decision diagram package release (1998)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75256-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T23:54:39Z","timestamp":1737417279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75256-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752554","9783540752561"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75256-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}