{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T04:18:15Z","timestamp":1648613895288},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mind Mach"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf00974147","type":"journal-article","created":{"date-parts":[[2005,1,13]],"date-time":"2005-01-13T18:58:18Z","timestamp":1105642698000},"page":"233-257","source":"Crossref","is-referenced-by-count":0,"title":["Book reviews"],"prefix":"10.1007","volume":"4","author":[{"given":"Robert E.","family":"Filman","sequence":"first","affiliation":[]},{"given":"Donald","family":"Nute","sequence":"additional","affiliation":[]},{"given":"Merrie","family":"Bergmann","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Tymoczko","sequence":"additional","affiliation":[]},{"given":"Barry","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Gerard","family":"Ellis","sequence":"additional","affiliation":[]},{"given":"Ronald N.","family":"Giere","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"137","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Philippe Besnard","year":"1988","unstructured":"Besnard, Philippe, and Siegel, Pierre (1988), ?The Preferential Models Approach to Non-Monotonic Logics?, in Philippe Smetset al. (eds.),Non-Standard Logics for Automated Reasoning, London: Academic Press, pp. 137?161."},{"key":"CR2","first-page":"95","volume-title":"Studies in Subjective Probability","author":"Bruno Finetti De","year":"1937","unstructured":"De Finetti, Bruno (1937), ?La pr\u00e9vision, ses lois logiques et ses sources subjectives?,Ann. Inst. H. Poincar\u00e9 7, trans. by H. E. Kyburg, Jr., in H. E. Kyburg, Jr., and H. E. Smokler (eds.),Studies in Subjective Probability, New York: Wiley, 1964, pp. 95?158."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"Johan Kleer de","year":"1986","unstructured":"de Kleer, Johan (1986), ?An Assumption-Based Truth Maintenance System?,Artificial Intelligence 28, 127?162.","journal-title":"Artificial Intelligence"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"Jon Doyle","year":"1979","unstructured":"Doyle, Jon (1979), ?A Truth Maintenance System?,Artificial Intelligence 12, 231?272.","journal-title":"Artificial Intelligence"},{"key":"CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory: An Approach to Computerized Processing of Uncertainty","author":"Didier Dubois","year":"1988","unstructured":"Dubois, Didier, and Prade, Henri (1988),Possibility Theory: An Approach to Computerized Processing of Uncertainty, New York: Plenum Press."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"Luis Fari\u00f1as del Cerro","year":"1985","unstructured":"Fari\u00f1as del Cerro, Luis, and Orlowska, Ewa (1985), ?DAL, a Logic for Data Analysis?,Theoretical Computer Science 36, 251?264.","journal-title":"Theoretical Computer Science"},{"key":"CR7","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"Peter G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, Peter (1988),Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: MIT Press."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90093-2","volume":"32","author":"Joseph Y. Halpern","year":"1987","unstructured":"Halpern, Joseph Y., and Rabin, Michael O. (1987), ?A Logic to Reason about Likelihood?,Artificial Intelligence 32, 379?405.","journal-title":"Artificial Intelligence"},{"key":"CR9","first-page":"426","volume-title":"Proceedings, 6th National Conference on Artificial Intelligence (AAAI-87, Seattle)","author":"Hector J. Levesque","year":"1987","unstructured":"Levesque, Hector J. (1987), ?All I Know: An Abridged Report?, inProceedings, 6th National Conference on Artificial Intelligence (AAAI-87, Seattle), Los Altos, CA: Morgan Kaufmann, pp. 426?431."},{"key":"CR10","first-page":"966","volume-title":"Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87, Milan)","author":"Vladimir Lifschitz","year":"1987","unstructured":"Lifschitz, Vladimir (1987), ?Formal Theories of Action?,Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI-87, Milan). Los Altos, CA: Morgan Kaufmann, pp. 966?972."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-50701-9_29","volume-title":"Non-Monotonic Reasoning: Proceedings of the Second International Workshop","author":"Vladimir Lifschitz","year":"1988","unstructured":"Lifschitz, Vladimir (1988), ?Benchmark Problems for Formal Nonmonotonic Reasoning?, in M. Reinfranket al. (eds.),Non-Monotonic Reasoning: Proceedings of the Second International Workshop, New York: Springer-Verlag, pp. 202?219."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"John McCarthy","year":"1986","unstructured":"McCarthy, John (1986), ?Applications of Circumscription to Formalizing Commonsense Knowledge?,Artificial Intelligence 28, 89?116.","journal-title":"Artificial Intelligence"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"Drew McDermott","year":"1980","unstructured":"McDermott, Drew, and Doyle, Jon (1980), ?Non-Monotonic Logic I?,Artificial Intelligence 13: 73?80.","journal-title":"Artificial Intelligence"},{"key":"CR14","first-page":"105","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Robert Moore","year":"1988","unstructured":"Moore, Robert (1988), ?Autoepistemic Logic?, in P. Smetset al. (eds.),Non-Standard Logics for Automated Reasoning, London: Academic Press, pp. 105?136."},{"key":"CR15","first-page":"213","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Gerhard Paass","year":"1988","unstructured":"Paass, Gerhard (1988), ?Probabilistic Logic?, in P. Smetset al. (eds.),Non-Standard Logics for Automated Reasoning, London: Academic Press, pp. 213?251."},{"key":"CR16","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Judea Pearl","year":"1988","unstructured":"Pearl, Judea (1988),Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, San Mateo, CA: Morgan Kaufmann."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","volume":"37","author":"James A. Reggia","year":"1985","unstructured":"Reggia, James A.; Nau, Dana S.; and Wang, P. Y. (1985), ?A Formal Model of Diagnostic Inference: Problem Formulation and Decomposition?,Information Sciences 37, 227?256.","journal-title":"Information Sciences"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Ray Reiter","year":"1980","unstructured":"Reiter, Ray (1980), ?A Logic for Default Reasoning?,Artificial Intelligence 13, 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR19","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"Glenn Shafer","year":"1976","unstructured":"Shafer, Glenn (1976),A Mathematical Theory of Evidence, Princeton: Princeton University Press."},{"key":"CR20","first-page":"98","volume-title":"Studies in Logical Theory","author":"Robert F. Stalnaker","year":"1968","unstructured":"Stalnaker, Robert F. (1968), ?A Theory of Conditionals?, in N. Rescher (ed.),Studies in Logical Theory, Oxford: Basil Blackwell, pp. 98?112."},{"key":"CR21","first-page":"159","volume-title":"The Frame Problem in Artificial Intelligence","author":"Camilla B. Schwind","year":"1987","unstructured":"Schwind, Camilla B. (1987), ?Action Theory and the Frame Problem?, in F. M. Brown (ed.),The Frame Problem in Artificial Intelligence, Los Altos, CA: Morgan Kaufmann, pp. 159?174."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"Lotfi Zadeh","year":"1965","unstructured":"Zadeh, Lotfi (1965), ?Fuzzy Sets?,Information and Control 8, 338?353.","journal-title":"Information and Control"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00974147.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00974147\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00974147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,4]],"date-time":"2021-07-04T01:08:46Z","timestamp":1625360926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00974147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF00974147"],"URL":"https:\/\/doi.org\/10.1007\/bf00974147","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}