{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:21:24Z","timestamp":1725798084343},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319088518"},{"type":"electronic","value":"9783319088525"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08852-5_18","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T14:03:23Z","timestamp":1405605803000},"page":"170-179","source":"Crossref","is-referenced-by-count":0,"title":["A Logical Version of the Belief Function Theory"],"prefix":"10.1007","author":[{"given":"Laurence","family":"Cholvy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/j.ijar.2011.12.003","volume":"53","author":"L. Cholvy","year":"2012","unstructured":"Cholvy, L.: Non-exclusive hypotheses in Dempster-Shafer Theory. Journal of Approximate Reasoning\u00a053, 493\u2013501 (2012)","journal-title":"Journal of Approximate Reasoning"},{"key":"18_CR2","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, Series B\u00a030, 205\u2013247 (1968)","journal-title":"Journal of the Royal Statistical Society, Series B"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.11610\/isij.0901","volume":"9","author":"J. Dezert","year":"2002","unstructured":"Dezert, J.: Foundations for a new theory of plausible and paradoxical reasoning. Information and Security. An International Journal\u00a09, 90\u201395 (2002)","journal-title":"Information and Security. An International Journal"},{"key":"18_CR4","first-page":"1001","volume":"XXI","author":"L. Godo","year":"2001","unstructured":"Godo, L., H\u00e1jek, P., Esteva, F.: A fuzzy modal logic for belief-functions. Fundamenta Informaticae\u00a0XXI, 1001\u20131020 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"18_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11691792_2","volume-title":"Declarative Agent Languages and Technologies III","author":"J. Kwisthout","year":"2006","unstructured":"Kwisthout, J., Dastani, M.: Modelling uncertainty in agent programming. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"18_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-75256-1_30","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"N. Lehmann","year":"2007","unstructured":"Lehmann, N.: Shared ordered binary decision diagrams for Dempster-Shafer Theory. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 320\u2013331. Springer, Heidelberg (2007)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/0888-613X(90)90016-U","volume":"4","author":"G. Provan","year":"1990","unstructured":"Provan, G.: A logic-based analysis of Demspter-Shafer Theory. International Journal of Approximate Reasoning\u00a04, 451\u2013495 (1990)","journal-title":"International Journal of Approximate Reasoning"},{"key":"18_CR8","unstructured":"Saffiotti, A.: A belief-function logic. In: Proceedings of the 10th AAAI Conference, San Jose, CA, pp. 642\u2013647 (1992)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Shafer, G.: A mathematical theory of evidence. Princeton University Press (1976)","DOI":"10.1515\/9780691214696"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0888-613X(90)90012-Q","volume":"4","author":"G. Shafer","year":"1990","unstructured":"Shafer, G.: Perspectives on the theory and practice of belief functions. Int. Journal of Approximate Reasoning\u00a04, 323\u2013362 (1990)","journal-title":"Int. Journal of Approximate Reasoning"},{"key":"18_CR11","unstructured":"Smarandache, F., Dezert, J.: An introduction to the DSm Theory for the combination of paradoxical, uncertain and imprecise sources of information (2006), http:\/\/www.gallup.unm.edu\/~smarandache\/DSmT-basic-short.pdf"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08852-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T16:28:21Z","timestamp":1717086501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08852-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088518","9783319088525"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08852-5_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}