{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:15:11Z","timestamp":1648732511507},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/bf00252181","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T15:35:14Z","timestamp":1099409714000},"page":"355-368","source":"Crossref","is-referenced-by-count":0,"title":["On the completeness of incidence calculus"],"prefix":"10.1007","volume":"16","author":[{"given":"Lusheng","family":"Wang","sequence":"first","affiliation":[]},{"given":"S. K. M.","family":"Wong","sequence":"additional","affiliation":[]},{"given":"Y. Y.","family":"Yao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF00252181_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00244272","volume":"1","author":"A. Bundy","year":"1985","unstructured":"Bundy, A.: Incidence calculus: A mechanism for probabilistic reasoning, J. Automated Reasoning 1 (1985), 263\u2013283.","journal-title":"J. Automated Reasoning"},{"key":"BF00252181_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02432147","volume":"2","author":"A. Bundy","year":"1986","unstructured":"Bundy, A.: Correctness criteria of some algorithms for uncertain reasoning using incidence calculus, J. Automated Reasoning 2 (1986), 109\u2013126.","journal-title":"J. Automated Reasoning"},{"key":"BF00252181_CR3","unstructured":"Bundy, A.: Incidence calculus, in The Encyclopedia of AI, 1992, pp. 663\u2013668."},{"key":"BF00252181_CR4","unstructured":"Correa da Silva, F. and Bundy, A.: On some equivalence relations between incidence calculus and Dempster-Shafer theory of evidence, in Proc. 6th Int. Workshop on Uncertainty in Artificial Intelligence, Cambridge, MA, 1990, pp. 378\u2013383."},{"key":"BF00252181_CR5","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/S0020-7373(05)80043-4","volume":"33","author":"P. J. Lingras","year":"1990","unstructured":"Lingras, P. J. and Wong, S. K. M.: Two perspectives of the Dempster-Shafer theory of belief functions, Int. J. Man-machine Studies 33 (1990), 467\u2013487.","journal-title":"Int. J. Man-machine Studies"},{"key":"BF00252181_CR6","doi-asserted-by":"crossref","unstructured":"Liu, W., Bundy, A., and Robertson, D.: Recovering incidence functions, in Proc. Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science 747, 1993, pp. 241\u2013248.","DOI":"10.1007\/BFb0028206"},{"key":"BF00252181_CR7","volume-title":"Fuzzy Reasoning and Its Applications","year":"1981","unstructured":"Mamdani, E. and Gaines, B. (eds): Fuzzy Reasoning and Its Applications, Academic Press, New York, 1981."},{"key":"BF00252181_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1987","unstructured":"Nilsson, N.: Probabilistic logic, Artificial Intelligence 28 (1987), 71\u201387.","journal-title":"Artificial Intelligence"},{"key":"BF00252181_CR9","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets, Int. J. Computer and Information Sci. 11 (1982), 341\u2013356.","journal-title":"Int. J. Computer and Information Sci."},{"key":"BF00252181_CR10","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":"BF00252181_CR11","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield, J. R.: Mathematical Logic, Addison-Wesley, Reading, MA, 1967."},{"key":"BF00252181_CR12","volume-title":"Computer-Based Medical Consultations: MYCIN","author":"E. H. Shortliffe","year":"1976","unstructured":"Shortliffe, E. H.: Computer-Based Medical Consultations: MYCIN, North-Holland, New York, 1976."},{"key":"BF00252181_CR13","doi-asserted-by":"crossref","unstructured":"Wong, S. K. M., Wang, L., and Yao, Y. Y.: Interval structures: A framework for representing uncertain information, in Proc. 8th Conf. Uncertainty in Artificial Intelligence, 1992, pp. 336\u2013343.","DOI":"10.1016\/B978-1-4832-8287-9.50051-7"},{"key":"BF00252181_CR14","unstructured":"Yao, Y. Y., Wong, S. K. M., and Wang, L.: A nonnumeric approach to uncertain reasoning, Int. J. General Systems, in press."},{"key":"BF00252181_CR15","doi-asserted-by":"crossref","unstructured":"Yao, Y. Y.: Interval-set algebra for qualitative knowledge representation, in Proc. 5th Int. Conf. Computing and Information, 1993, pp. 370\u2013374.","DOI":"10.1109\/ICCI.1993.315346"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00252181.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00252181\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00252181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,27]],"date-time":"2021-06-27T12:14:45Z","timestamp":1624796085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00252181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["BF00252181"],"URL":"https:\/\/doi.org\/10.1007\/bf00252181","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}