{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:19:30Z","timestamp":1760170770845},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:17:00Z","timestamp":1330201020000},"page":"102-117","source":"Crossref","is-referenced-by-count":25,"title":["On the semantics of rule-based expert systems with uncertainty"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kifer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ai","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt, H. Blair and A. Walker, \u201cTowards a Theory of Declarative Knowledge\u201d, in Foundations of Deductive Databases and Logic Programming, J. Minker, (ed.), Morgan-Kaufmann, 1988, 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(87)90004-5","volume":"4","author":"I. Balbin","year":"1987","unstructured":"I. Balbin and K. Ramamohanarao, \u201cA Generalization of the Differential Approach to Recursive Query Evaluation\u201d, J. of Logic Programming, 4, (1987), 259\u2013262.","journal-title":"J. of Logic Programming"},{"key":"6_CR3","volume-title":"FRIL Manual","author":"J. F. Baldwin","year":"1987","unstructured":"J. F. Baldwin, T. P. Martin and B. W. Pilsworth, FRIL Manual, EQUIPU-AIR, Ltd., Bristol, UK, 1987."},{"key":"6_CR4","unstructured":"J. F. Baldwin and M. R. M. Monk, \u201cEvidence Theory, Fuzzy Logic and Logic Programming\u201d, ITRC Tech. Rep.# 109, University of Bristol, UK, 1987."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J. F. Baldwin","year":"1987","unstructured":"J. F. Baldwin, \u201cEvidential Support Logic Programming\u201d, Fuzzy Sets and Systems, 24, (1987), 1\u201326.","journal-title":"Fuzzy Sets and Systems"},{"key":"6_CR6","unstructured":"F. Bancilhon, \u201cNaive Evaluation of Recursively Defined Relations\u201d, Tech. Rep.# DB-004-85, MCC, 1985."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"C. Beeri and R. Ramakrishnan, \u201cOn the Power of Magic\u201d, Proc. of the ACM SIGACT-SIGMOD Symp. on Prin. of Database Systems, 1987, 269\u2013283.","DOI":"10.1145\/28659.28689"},{"key":"6_CR8","unstructured":"B. G. Buchanan and E. H. Shortliffe, (eds.), Rule-Based Expert Systems, Addison-Wesley, 1984."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"A. K. Chandra and D. Harel, \u201cHorn Clauses and Generalizations\u201d, J. of Logic Programming, 1985, 1\u201315.","DOI":"10.1016\/0743-1066(85)90002-0"},{"key":"6_CR10","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark, \u201cNegation as Failure\u201d, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, New York, 1978, 293\u2013324."},{"key":"6_CR11","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"W. F. Clocksin and C. S. Mellish, Programming in Prolog, Springer Verlag, Berlin-Heidelberg-New York, 1981."},{"key":"6_CR12","unstructured":"D. Dubois and H. Prade, (eds.), Fuzzy Sets and Systems: Theory and Applications, Academic Press, 1980."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"E. A. Feigenbaum, \u201cThe Art of Artificial Intelligence: 1. Themes and Case Studies of Knowledge Engineering\u201d, IJCAI-77, 1977, 1014\u20131029.","DOI":"10.21236\/ADA046289"},{"key":"6_CR14","unstructured":"R. Frost, Introduction to Knowledge Base Systems, Macmillan Publishing C., 1986."},{"key":"6_CR15","unstructured":"G. Gardarin, \u201cMagic Functions: A Technique to Optimize Extended Datalog Recursive Programs\u201d, Proc. of the ACM Intl. Conf. on Very Large Data Bases, 1987, 21\u201330."},{"key":"6_CR16","unstructured":"M. L. Ginsberg, \u201cNonmonotonic Reasoning Using Dempster's Rule\u201d, AAAI-84, Austin, TX, 1984, 126\u2013129."},{"key":"6_CR17","unstructured":"M. L. Ginsberg, \u201cMultivalued Logics\u201d, in Readings in Non-Monotonic Reasoning, M. L. Ginsgerg, (ed.), 1987, 251\u2013255."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"U. Guntzer and W. K. A. R. Bayer, \u201cOn Evaluation of Recursion in Deductive Database Systems by Efficient Differential Fixpoint Iteration\u201d, 3-d Int. Conf. on Data Engineering, 1987, 120\u2013129.","DOI":"10.1109\/ICDE.1987.7272365"},{"key":"6_CR19","unstructured":"F. Hayes-Roth, D. Waterman and D. Lenat, (eds.), Building Expert Systems, Addison-Wesley, 1983."},{"issue":"9","key":"6_CR20","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1145\/4284.4286","volume":"28","author":"F. Hayes-Roth","year":"1985","unstructured":"F. Hayes-Roth, \u201cRule-Based Systems\u201d, Comm. ACM, 28, 9 (Sep. 1985), 921\u2013932.","journal-title":"Comm. ACM"},{"key":"6_CR21","unstructured":"D. E. Heckerman and E. J. Horovitz, \u201cOn the Expressive Power of Rule-Based Systems for Reasoning with Uncertainty\u201d, Automated Reasoning, 1987, 121\u2013126."},{"key":"6_CR22","unstructured":"L. N. Kanal and J. F. Lemmer, (eds.), Uncertainty in Artificial Intelligence (Machine Intelligence and Pattern Recognition, vol. 4), North Holland, 1986."},{"key":"6_CR23","unstructured":"M. Kifer and E. L. Lozinskii, \u201cA Framework for an Efficient Implementation of Deductive Database Systems\u201d, Proceedings of the 6-th Advanced Database Symposium, Tokyo, Japan, Aug. 1986."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"R. C. T. Lee, \u201cFuzzy Logic and the Resolution Principle\u201d, J. of ACM, 1972, 109\u2013119.","DOI":"10.1145\/321679.321688"},{"key":"6_CR25","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/B978-0-934613-40-8.50008-7","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"V. Lifschitz","year":"1988","unstructured":"V. Lifschitz, \u201cOn the Declarative Semantics of Logic Programs with Negation\u201d, in Foundations of Deductive Databases and Logic Programming, J. Minker, (ed.), Morgan-Kaufmann, Los Altos, CA, 1988, 177\u2013192."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming (Second Edition), Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"6_CR27","unstructured":"H. Prade, \u201cA Synthetic View of Approximate Reasoning Techniques\u201d, IJCAI, 1983, 130\u2013136."},{"key":"6_CR28","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. C. Przymusinski","year":"1988","unstructured":"T. C. Przymusinski, \u201cOn the Declarative Semantics of Deductive Databases and Logic Programs\u201d, in Foundations of Deductive Databases and Logic Programming, J. Minker, (ed.), Morgan-Kaufmann, Los Altos, CA, 1988, 193\u2013216."},{"key":"6_CR29","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, \u201cOn Closed World Databases\u201d, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, New York, 1978, 55\u201376."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"D. C. Rine, \u201cSome Relationships between Logic Programming and Multiple-Valued Logic\u201d, Symp. on Multiple-Valued Logic, 1986, 160\u2013163.","DOI":"10.1080\/00207218708939120"},{"key":"6_CR31","unstructured":"E. Sandewall, \u201cA Functional Approach to Non-Monotonic Logic\u201d, IJCAI-85, 1985, 100\u2013106."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"G. Shafer, A Mathematical Theory of Evidence, Princeton University Press, 1976.","DOI":"10.1515\/9780691214696"},{"key":"6_CR33","unstructured":"E. Shapiro, \u201cLogic Programs with Uncertainties: A Tool for Implementing Rule-Based Systems\u201d, IJCAI-83, 1983, 529\u2013532."},{"key":"6_CR34","unstructured":"V. S. Subrahmanian, \u201cOn the Semantics of Quantitative Logic Programs\u201d, IEEE Symposium on Logic Programming, 1987, 173\u2013182."},{"key":"6_CR35","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J. D. Ullman","year":"1988","unstructured":"J. D. Ullman, Principles of Database and Knowledge-Base Systems, Computer Science Press, Rockville, MD, 1988."},{"issue":"4","key":"6_CR36","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H. van Emden and R. A. Kowalski, \u201cThe Semantics of Predicate Logic as a Programming Language\u201d, J. ACM, 23, 4 (Oct. 1976), 733\u2013742.","journal-title":"J. ACM"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"M. H. van Emden, \u201cQuantitative Deduction and its Fixpoint Theory\u201d, The Journal of Logic Programming, 1986, 37\u201353.","DOI":"10.1016\/0743-1066(86)90003-8"},{"key":"6_CR38","unstructured":"L. Vieille, \u201cRecursive Axioms in Deductive Databases: The Query-Subquery Approach\u201d, Proc. of the 1-st Conf. on Expert Database Systems, Charleston, SC, 1986, 179\u2013196."},{"key":"6_CR39","volume-title":"Fuzzy Relational Databases \u2014 a Key to Expert Systems","author":"M. Zamankova-Leech","year":"1984","unstructured":"M. Zamankova-Leech and A. Kandel, Fuzzy Relational Databases \u2014 a Key to Expert Systems, Verlag TUV Rheinland, Koln, 1984."},{"key":"6_CR40","unstructured":"A. Zvieli, \u201cA Fuzzy Relational Calculus\u201d, Proc. of the 1-st Int. Conf. of Expert Database Systems, Charlestone, SC, 1986, 225\u2013240."}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:33:14Z","timestamp":1640917994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}