{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:19Z","timestamp":1725663919373},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540546597"},{"type":"electronic","value":"9783540464266"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54659-6_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:07:19Z","timestamp":1330193239000},"page":"141-145","source":"Crossref","is-referenced-by-count":1,"title":["Automated reasoning about an uncertain domain"],"prefix":"10.1007","author":[{"given":"Fl\u00e1vio S. Corr\u00eaa","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"F. BACCHUS. Representing and Reasoning with Probabilistic Knowledge. MIT Press, 1990.","DOI":"10.1111\/j.1467-8640.1990.tb00296.x"},{"key":"23_CR2","unstructured":"F. S. CORREA DA SILVA. Automated reasoning with uncertainties. Technical report, University of Edinburgh, Department of Artificial Intelligence, 1991."},{"key":"23_CR3","unstructured":"F. S. CORREA DA SILVA, D. S. ROBERTSON, and P. CHUNG. Automated reasoning about an uncertain domain. Technical report, University of Edinburgh, Department of Artificial Intelligence, 1991."},{"key":"23_CR4","unstructured":"D. DUBOIS, J. LANG, and H. PRADE. Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights. In Proceedings of the 5 th Workshop on Uncertainty in Artificial Intelligence, 1989."},{"key":"23_CR5","unstructured":"D. DUBOIS and H. PRADE. An introduction to possibilistic and fuzzy logics. In P. Smets, A. Mamdani, D. Dubois, and H. Prade, editors, Non-standard Logics for Automated Reasoning. Academic Press, 1988."},{"key":"23_CR6","unstructured":"R. M. DUDLEY. Real Analysis and Probability. Wadsworth & Brooks\/Cole, 1989."},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"J. Y. Halpern","year":"1990","unstructured":"J. Y. HALPERN. An analysis of first-order logics of probability. Artificial Intelligence, 46:311\u2013350, 1990.","journal-title":"Artificial Intelligence"},{"key":"23_CR8","unstructured":"M. KIFER and V. S. SUBRAHMANIAN. On the expressive power of annotated logic programs. In NACLP'89 \u2014 Proceedings of the 1989 North American Conference on Logic Programming, 1989."},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/0022-247X(82)90015-4","volume":"85","author":"E. P. Klement","year":"1982","unstructured":"E. P. KLEMENT. Construction of fuzzy \u03c3-algebras using triangular norms. Journal of Mathematical Analysis and Applications, 85:543\u2013565, 1982.","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. KUNEN. Signed data dependencies in logic programs. Journal of Logic Programming, 7:231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"K. PIASECKI. Fuzzy p-measures and their application in decision making. In J. Kacprzyk and M. Pedrizzi, editors, Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making. Springer Verlag, 1988.","DOI":"10.1007\/978-3-642-46644-1_6"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Yu. V. PROHOROV and Yu. A. ROZANOV. Probability Theory. Springer Verlag, 1969.","DOI":"10.1007\/978-3-642-87934-0"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0165-0114(82)90047-1","volume":"7","author":"P. Smets","year":"1982","unstructured":"P. SMETS. Probability of a fuzzy event: An axiomatic approach. Fuzzy Sets and Systems, 7:153\u2013164, 1982.","journal-title":"Fuzzy Sets and Systems"},{"key":"23_CR14","unstructured":"D. TURI. Logic programs with negation: Classes, models, interpreters. Technical Report CS-R8943, Centre for Mathematics and Computer Science, 1989."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"I. B. TURKSEN. Stochastic fuzzy sets: a survey. In J. Kacprzyk and M. Fedrizzi, editors, Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making. Springer Verlag, 1988.","DOI":"10.1007\/978-3-642-46644-1_13"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54659-6_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:56:12Z","timestamp":1605628572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54659-6_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546597","9783540464266"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54659-6_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}