{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:35Z","timestamp":1725664295205},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580959"},{"type":"electronic","value":"9783540484516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58095-6_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:13:31Z","timestamp":1330269211000},"page":"57-79","source":"Crossref","is-referenced-by-count":1,"title":["Automated reasoning with uncertainties"],"prefix":"10.1007","author":[{"given":"Fl\u00e1vio S.","family":"Corr\u00eaa da Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave S.","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hesketh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., and J.Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability. IBM Research Report RJ 7220, 1989.","DOI":"10.1109\/SFCS.1989.63470"},{"key":"5_CR2","unstructured":"Apt, K.F.: Introduction to Logic Programming. Centre for Mathematics and Computer Science Report CSR 8741, 1987."},{"key":"5_CR3","unstructured":"Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. University of Alberta, 1988."},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","volume":"6","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: \u201cLp, a Logic for Representing and Reasoning with Statistical Knowledge,\u201d in: Computational Intelligence 6 (1990a) 209\u2013231.","journal-title":"Computational Intelligence"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. MIT Press, 1990b.","DOI":"10.1111\/j.1467-8640.1990.tb00296.x"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00244272","volume":"1","author":"A. Bundy","year":"1985","unstructured":"Bundy, A.: \u201cIncidence Calculus: a Mechanism for Probabilistic Reasoning,\u201d in: Journal of Automated Reasoning 1 (1985) 263\u2013284.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR7","unstructured":"Corr\u00eaa da Silva, F.S.: Automated Reasoning with Uncertainties. University of Edinburgh, Department of Artificial Intelligence, 1992."},{"key":"5_CR8","unstructured":"Corr\u00eaa da Silva, F.S., and A. Bundy: On Some Equivalence Relations Between Incidence Calculus and Dempster-Shafer Theory of Evidence. 6th Conference on Uncertainty in Artificial Intelligence, 1990."},{"key":"5_CR9","unstructured":"Corr\u00eaa da Silva, F.S., and A. Bundy: A Rational Reconstruction of Incidence Calculus. University of Edinburgh, Department of Artificial: Intelligence Report 517, 1991."},{"key":"5_CR10","unstructured":"Dubois, D., and H. Prade: \u201cAn Introduction to Possibilistic and Fuzzy Logics,\u201d in: P. Smets et al. (eds.), Non-standard Logics for Automated Reasoning Academic Press, 1988."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0377-2217(89)90326-3","volume":"40","author":"D. Dubois","year":"1989","unstructured":"Dubois, D., and H. Prade: \u201cFuzzy Sets, Probability and Measurement,\u201d in: European Journal of Operational Research 40 (1989) 135\u2013154.","journal-title":"European Journal of Operational Research"},{"key":"5_CR12","unstructured":"Dudley, R.M.: Real Analysis and Probability. Wadsworth & Brooks\/Cole, 1989."},{"key":"5_CR13","unstructured":"Fagin, R., and J.Y. Halpern: Uncertainty, Belief, and Probability. IBM Research Report RJ 6191, 1989a."},{"key":"5_CR14","unstructured":"Fagin, R., and J.Y. Halpern: A New Approach to Updating Beliefs. IBM Research Report RJ 7222, 1989."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","volume":"XI","author":"M. Fitting","year":"1988","unstructured":"Fitting, M.: \u201cLogic Programming on a Topological Bilattice,\u201d in: Fundamenta Informaticae XI (1988) 209\u2013218.","journal-title":"Fundamenta Informaticae"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Fitting, M.: \u201cBilattices in Logic Programming,\u201d in: Proceedings of the 20 th International Symposium on Multiple-valued Logic, 1990.","DOI":"10.1109\/ISMVL.1990.122627"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y.: \u201cAn Analysis of First-Order Logics of Probability,\u201d in: Artificial Intelligence 46 (1990) 311\u2013350.","journal-title":"Artificial Intelligence"},{"key":"5_CR18","unstructured":"Halpern, J.Y., and R. Fagin: Two Views of Belief: Belief as Generalised Probability and Belief as Evidence. IBM Research Report RJ 7221, 1989."},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1016\/S0020-7373(86)80009-8","volume":"24","author":"C.J. Hinde","year":"1986","unstructured":"Hinde, C.J.: \u201cFuzzy Prolog,\u201d in: International Journal of Man-Machine Studies 24 (1986) 569\u2013595.","journal-title":"International Journal of Man-Machine Studies"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Ishizuka, M., and K. Kanai: \u201cProlog-ELF Incorporating Fuzzy Logic.\u201d in: IJCAI'85 \u2014 Proceedings of the 9 th International Joint Conference on Artificial Intelligence, 1985.","DOI":"10.1007\/BF03037082"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Kifer, M., and V.S. Subrahmanian: \u201cTheory of Generalized Annotated Logic Programs and Its Applications,\u201d in: Journal of Logic Programming 12, 1991.","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"5_CR22","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/0022-247X(82)90015-4","volume":"85","author":"E.P. Klement","year":"1982","unstructured":"Klement, E.P.: \u201cConstruction of Fuzzy \u03c3-algebras Using Triangular Norms,\u201d in: Journal of Mathematical Analysis and Applications 85 (1982) 543\u2013565.","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"Kunen, K.: \u201cSigned Data Dependencies in Logic Programs,\u201d in: Journal of Logic Programming 7 (1989) 231\u2013245.","journal-title":"Journal of Logic Programming"},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"Lee, R.C.T.: \u201cFuzzy Logic and the Resolution Principle,\u201d in: Journal of the ACM 19 (1972) 109\u2013119.","journal-title":"Journal of the ACM"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Mendelson, E.: Introduction to Mathematical Logic (3rd. ed). Wadsworth & Brooks\/Cole, 1987.","DOI":"10.1007\/978-1-4615-7288-6"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"Nilsson, N.J.: \u201cProbabilistic Logic,\u201d in: Artificial Intelligence 28 (1986) 71\u201387.","journal-title":"Artificial Intelligence"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Ng, R., and V.S. Subrahmanian: \u201cProbabilistic Logic Programming,\u201d in: Information and Computation 101, 1992.","DOI":"10.1016\/0890-5401(92)90061-J"},{"key":"5_CR28","first-page":"79","volume":"2","author":"I.P. Orci","year":"1989","unstructured":"Orci, I.P.: \u201cProgramming in Possibilistic Logic,\u201d in: International Journal of Expert Systems 2 (1989) 79\u201396.","journal-title":"International Journal of Expert Systems"},{"key":"5_CR29","volume-title":"Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making","author":"K. Piasecki","year":"1988","unstructured":"Piasecki, K.: \u201cFuzzy p-Measures and their Application in Decision Making,\u201d in: J. Kacprzyk and M. Fedrizzi (eds.), Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making. Berlin heidelberg: Springer Verlag, 1988."},{"key":"5_CR30","unstructured":"Ruspini, E.H.: \u201cOn the Semantics of Fuzzy Logic,\u201d in: SRI International 475, 1989."},{"key":"5_CR31","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S0269888900000795","volume":"2","author":"A. Saffiotti","year":"1987","unstructured":"Saffiotti, A.: \u201cAn AI View of the Treatment of Uncertainty,\u201d in: The Knowledge Engineering Review 2 (1987) 75\u201397.","journal-title":"The Knowledge Engineering Review"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, 1976.","DOI":"10.1515\/9780691214696"},{"key":"5_CR33","unstructured":"Shapiro, E.Y.: \u201cLogic Programming with Uncertainties \u2014 a Tool for Implementing Rule-based Systems,\u201d in: IJCAI'83 \u2014 Proceedings of the 8 th International Joint Conference on Artificial Intelligence, 1983."},{"key":"5_CR34","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, 1967."},{"key":"5_CR35","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0165-0114(82)90047-1","volume":"7","author":"P. Smets","year":"1982","unstructured":"Smets, P.: \u201cProbability of a Fuzzy Event: An Axiomatic Approach,\u201d in: Fuzzy Sets and Systems 7 (1982) 153\u2013164.","journal-title":"Fuzzy Sets and Systems"},{"key":"5_CR36","unstructured":"Turi, D.: Logic Programs with Negation: Classes, Models, Interpreters. Centre for Mathematics and Computer Science Report CSR 8943, 1989."},{"key":"5_CR37","volume-title":"Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making","author":"I.B. Turksen","year":"1988","unstructured":"Turksen, I.B.: \u201cStochastic Fuzzy Sets: a Survey,\u201d in: J. Kacprzyk and M. Fedrizzi (eds.), Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making. Berlin, Heidelberg: Springer Verlag, 1988."},{"key":"5_CR38","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"1","author":"M.H. Emden Van","year":"1986","unstructured":"Van Emden, M.H.: \u201cQuantitative Deduction and its Fixpoint Theory,\u201d in: Journal of Logic Programming 1 (1986) 37\u201353.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation and Reasoning Under Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58095-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:03:21Z","timestamp":1640930601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58095-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580959","9783540484516"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-58095-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}