{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:32:21Z","timestamp":1768559541793,"version":"3.49.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881836","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T19:07:06Z","timestamp":1104001626000},"page":"191-235","source":"Crossref","is-referenced-by-count":62,"title":["A semantical framework for supporting subjective and conditional probabilities in deductive databases"],"prefix":"10.1007","volume":"10","author":[{"given":"Raymond","family":"Ng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Anderson, E. J. and Nash, P.,Linear Programming in Infinite-Dimensional Spaces: Theory and Applications, Wiley (1987)."},{"key":"CR2","unstructured":"Bacchus, F.,Representing and Reasoning with Probabilistic Knowledge, Research Report CS-88-31, University of Waterloo (1988)."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J. F. Baldwin","year":"1987","unstructured":"Baldwin, J. F., ?Evidential support logic programming?,J. Fuzzy Sets and Systems 24, 1?26 (1987).","journal-title":"J. Fuzzy Sets and Systems"},{"key":"CR4","unstructured":"Bandler, W. and Kohout L. J., ?Unified theory of multivalued logical operations in the light of the checklist paradigm?,Proceedings IEEE Trans. Systems, Man Cybernet. (1984)."},{"key":"CR5","first-page":"35","volume":"68","author":"H. A. Blair","year":"1987","unstructured":"Blair, H. A. and Subrahmanian, V. S., ?Paraconsistent logic programming?,Theore. Computer Science 68, 35?54 (1987). Preliminary version in:Proc. 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, 287, pp. 340?360, Springer-Verlag.","journal-title":"Theore. Computer Science"},{"issue":"2","key":"CR6","first-page":"45","volume":"5","author":"H. A. Blair","year":"1988","unstructured":"Blair, H. A. and Subrahmanian, V. S., ?Paraconsistent foundations for logic programming?,J. Non-Classical Logic 5(2) 45?73 (1988).","journal-title":"J. Non-Classical Logic"},{"key":"CR7","unstructured":"Carnap, R.,The Logical Foundations of Probability, 2nd edn., University of Chicago Press (1962)."},{"key":"CR8","unstructured":"Cheeseman, P., ?In defense of probability?,Proc. IJCAI-85, pp. 1002?1009 (1985)."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A., Abe, J. M., and Subrahmanian, V. S., ?Remarks on annotated logic?,Z. f. Math. Logik u. Grundlagen der Mathematik 37 (1991).","DOI":"10.1002\/malq.19910370903"},{"key":"CR10","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?,J. Royal Statistical Soc., Ser. B 30, 205?247 (1968).","journal-title":"J. Royal Statistical Soc., Ser. B"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Duda, R. O., Hart P. E., and Nilsson, N. J. ?Subjective Bayesian methods for rule-based inference systems?,Proc. National Computer Conference, pp. 1075?1082 (1976).","DOI":"10.1145\/1499799.1499948"},{"key":"CR12","unstructured":"Fagin, R. and Halpern, J. ?Uncertainty, belief and probability?,Proc. IJCAI-89, Morgan Kauffman (1988)."},{"key":"CR13","unstructured":"Fagin, R., Halpern, J. Y., and Megiddo, N., ?A logic for reasoning about probabilities?,Information and Computation (1989)."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Fenstad, J. E., ?The structure of probabilities defined on first-order languages?,Studies in Inductive Logic and Probabilities, Volume 2 (ed. R. C. Jeffrey), University of California Press, pp. 251?262 (1980).","DOI":"10.1525\/9780520318328-008"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","volume":"11","author":"M. C. Fitting","year":"1988","unstructured":"Fitting, M. C., ?Logic programming on a topological bilattice?,Fundamenta Informatica 11, 209?218 (1988).","journal-title":"Fundamenta Informatica"},{"key":"CR16","unstructured":"Fitting, M. C., ?Bilattices and the semantics of logic programming?,J. Logic Programming (1988)."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02759729","volume":"2","author":"H. Gaifman","year":"1964","unstructured":"Gaifman, H., ?Concerning measures in first order calculi?,Israel J. Math. 2, 1?17 (1964).","journal-title":"Israel J. Math."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M., ?Multivalued logics: A uniform approach to reasoning in artificial intelligence?,Computational Intelligence 4, 265?316 (1988).","journal-title":"Computational Intelligence"},{"key":"CR19","unstructured":"Gnedenko, B. V. and Khinchin, A. Y.,An Elementary Introduction to the Theory of Probability, Dover Publications (1962)."},{"issue":"3","key":"CR20","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1305\/ndjfl\/1093870625","volume":"25","author":"T. Hailperin","year":"1984","unstructured":"Hailperin, T., ?Probability logic?,Notre Dame J. Formal Logic 25(3), 198?212 (1984).","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR21","first-page":"1093","volume":"244","author":"L. G. Khachiyan","year":"1979","unstructured":"Khachiyan, L. G. ?A polynomial algorithm in linear programming?,Doklady Akad. Nauk SSR 244, 1093?1096 (1979). Translated in:Soviet Mathematics ? Doklady20, 191?194 (1979).","journal-title":"Doklady Akad. Nauk SSR"},{"key":"CR22","unstructured":"Kifer, M. and Krishnaprasad, T., ?An evidence based framework for a theory of inheritance?,Proc. 11th International Joint Conf. on Artificial Intelligence, 1093?1098, Morgan-Kaufmann (1989)."},{"key":"CR23","unstructured":"Kifer, M., Krishnaprasad, T., and Warren, D. S., ?On the declarative semantics of inheritance networks?,Proc. 11th International Joint Conf. on Artificial Intelligence, Morgan-Kaufmann (1989)."},{"key":"CR24","first-page":"102","volume-title":"On the semantics of rule-based expert systems with uncertainty","author":"M. Kifer","year":"1988","unstructured":"Kifer, M. and Li, A., ?On the semantics of rule-based expert systems with uncertainty?,2nd Int. Conf. on Database Theory (LNCS 326) (eds. M. Gyssens, J. Paredaens, D. Van Gucht), (Springer Verlag) Bruges, Belgium, pp. 102?117 (1988)."},{"key":"CR25","unstructured":"Kifer, M. and Lozinskii, E., ?RI: a logic for reasoning with inconsistency?,4th Symposium on Logic in Computer Science, Asilomar, CA, pp. 253?262 (1989)."},{"issue":"4","key":"CR26","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M. and Subrahmanian, V. S., ?Theory of generalized annotated logic programming and its applications,J. Logic Programming 12(4), 335?368 (1992).","journal-title":"J. Logic Programming"},{"key":"CR27","unstructured":"Kolmogorov, A. N.,Foundations of the Theory of Probability, Chelsea Publishing Co. (1956)."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Kyburg, H.,The Logical Foundations of Statistical Inference, D. Reidel (1974).","DOI":"10.1007\/978-94-010-2175-3"},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, Springer (1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CR30","unstructured":"Lukasiewicz, J., Logical foundations of probability theory, in:Selected Works of Jan Lukasiewicz (ed. L. Berkowski), North Holland, pp. 16?43 (1970)."},{"issue":"2","key":"CR31","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A., and Montanari, U., ?An efficient unification algorithm?,ACM Trans. Prog. Lang. and Systems 4(2), 258?282 (1982).","journal-title":"ACM Trans. Prog. Lang. and Systems"},{"key":"CR32","unstructured":"Morishita, S., A unified approach to semantics of multi-valued logic programs, Tech. Report RT 5006, IBM Tokyo, April 9th (1990)."},{"key":"CR33","unstructured":"Ng, R. T. and Subrahmanian, V. S., ?Probabilistic logic programming?,Information and Computation (1992). Preliminary version inProc. 5th International Symposium on Methodologies for Intelligent Systems, pp. 9?16 (19xx)."},{"key":"CR34","first-page":"71","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N., ?Probabilistic logic?,AI Journal 28, 71?87 (1986).","journal-title":"AI Journal"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Pearl, J.,Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann (1988).","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"CR36","unstructured":"Schrijver, A.,Theory of Linear and Integer Programming, Wiley (1986)."},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Scott, D. S. and Krauss, P., ?Assigning probabilities to logical formulas?,Aspects of Inductive Logic (ed. J. Hintikka and P. Suppes), North-Holland (1966).","DOI":"10.1016\/S0049-237X(08)71672-0"},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"Shafer, G.,A Mathematical Theory of Evidence, Princeton University Press (1976).","DOI":"10.1515\/9780691214696"},{"key":"CR39","unstructured":"Shapiro, E., ?Logic programs with uncertainties: A tool for implementing expert systems?,Proc. IJCAI '83, William Kauffman, pp. 529?532 (1983)."},{"key":"CR40","unstructured":"Shoenfield, J.,Mathematical Logic, Addison-Wesley (1967)."},{"key":"CR41","first-page":"173","volume-title":"Proc. 4th IEEE Symposium on Logic Programming","author":"V. S. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V. S., ?On the semantics of quantitative logic programs?,Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington DC, pp. 173?182 (1987)."},{"key":"CR42","unstructured":"Subrahmanian, V. S., ?Mechanical proof procedures for many valued lattice based logic programming?, to appear."},{"key":"CR43","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(92)90214-Z","volume":"93","author":"V. S. Subrahmanian","year":"1992","unstructured":"Subrahmanian, V. S., ?Paraconsistent disjunctive deductive databases?,Theor. Computer Sci. Vol. 93, pp. 115?141 (1992).","journal-title":"Theor. Computer Sci."},{"issue":"1","key":"CR44","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M. H. Emden van","year":"1986","unstructured":"van Emden, M. H., ?Quantitative deduction and its fixpoint theory?,J. Logic Programming,4(1), 37?53 (1986).","journal-title":"J. Logic Programming"},{"key":"CR45","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., ?Fuzzy sets?,Information and Control 8, 338?353 (1965).","journal-title":"Information and Control"},{"key":"CR46","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/S0019-9958(68)90211-8","volume":"12","author":"L. A. Zadeh","year":"1968","unstructured":"Zadeh, L. A., ?Fuzzy algorithms?,Information and Control 12, 94?102 (1968).","journal-title":"Information and Control"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881836.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881836\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T17:46:44Z","timestamp":1734803204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881836"],"URL":"https:\/\/doi.org\/10.1007\/bf00881836","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}