{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:08:30Z","timestamp":1736140110888,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535676"},{"type":"electronic","value":"9783540468172"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018415","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:21:51Z","timestamp":1132636911000},"page":"19-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Rational control of reasoning in artificial intelligence"],"prefix":"10.1007","author":[{"given":"Jon","family":"Doyle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"2_CR1","first-page":"371","volume":"2","author":"J. G. Carbonell","year":"1986","unstructured":"J. G. Carbonell. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition. In R. S. Michalski, J. G. Carbonell, and T. M. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, volume 2, pages 371\u2013392. Morgan Kaufmann, 1986.","journal-title":"Machine Learning: An Artificial Intelligence Approach"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A truth maintenance system. Artificial Intelligence, 12(2):231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"2_CR3","series-title":"Technical Report","volume-title":"Some theories of reasoned assumptions: an essay in rational psychology","author":"J. Doyle","year":"1983","unstructured":"J. Doyle. Some theories of reasoned assumptions: an essay in rational psychology. Technical Report 83-125, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1983."},{"key":"2_CR4","unstructured":"J. Doyle. Artificial intelligence and rational self-government. Technical Report CS-88-124, Carnegie-Mellon University Computer Science Department, 1988."},{"issue":"1","key":"2_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1989.tb00311.x","volume":"5","author":"J. Doyle","year":"1989","unstructured":"J. Doyle. Constructive belief and rational representation. Computational Intelligence, 5(1):1\u201311, February 1989.","journal-title":"Computational Intelligence"},{"key":"2_CR6","unstructured":"J. Doyle and R. S. Patil. Two dogmas of knowledge representation: language restrictions, taxonomic classifications, and the utility of representation services. TM 387b, Massachusetts Institute of Technology, Laboratory for Computer Science, 545 Technology Square, Cambridge, MA, 02139, September 1989."},{"key":"2_CR7","unstructured":"J. Doyle and M. P. Wellman. Impediments to universal preference-based default theories. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 94\u2013102, San Mateo, CA, May 1989. Morgan Kaufmann."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. D. Ullman, and M. Y. Vardi. On the semantics of updates in databases. In Proceedings of the Second ACM SIGACT-SIGMOD Conference, pages 352\u2013365, 1983.","DOI":"10.1145\/588097.588100"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"2_CR10","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988."},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1111\/j.2517-6161.1952.tb00104.x","volume":"14","author":"I. J. Good","year":"1952","unstructured":"I. J. Good. Rational decisions. Journal of the Royal Statistical Society B, 14:107\u2013114, 1952.","journal-title":"Journal of the Royal Statistical Society B"},{"key":"2_CR12","volume-title":"Change in View: Principles of Reasoning","author":"G. Harman","year":"1986","unstructured":"G. Harman. Change in View: Principles of Reasoning. MIT Press, Cambridge, MA, 1986."},{"key":"2_CR13","unstructured":"E. J. Horvitz. Reasoning under varying and uncertain resource constraints. In Proceedings of the Seventh National Conference on Artificial Intelligence, pages 111\u2013116, San Mateo, CA, 1988. AAAI, Morgan Kaufmann."},{"key":"2_CR14","volume-title":"The Will to Believe and Other Essays in Popular Philosophy","author":"W. James","year":"1897","unstructured":"W. James. The Will to Believe and Other Essays in Popular Philosophy. Longmans, Green, and Co., New York, 1897."},{"key":"2_CR15","volume-title":"Beyond Economic Man: A new foundation for microeconomics","author":"H. Leibenstein","year":"1980","unstructured":"H. Leibenstein. Beyond Economic Man: A new foundation for microeconomics. Harvard University Press, Cambridge, MA, second edition, 1980.","edition":"second edition"},{"key":"2_CR16","unstructured":"H. J. Levesque. A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence, pages 198\u2013202. American Association for Artificial Intelligence, 1984."},{"key":"2_CR17","volume-title":"The Enterprise of Knowledge","author":"I. Levi","year":"1980","unstructured":"I. Levi. The Enterprise of Knowledge. MIT Press, Cambridge, MA, 1980."},{"key":"2_CR18","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis. Counterfactuals. Blackwell, Oxford, 1973."},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0364-0213(78)80001-9","volume":"2","author":"D. McDermott","year":"1978","unstructured":"D. McDermott. Planning and acting. Cognitive Science, 2:71\u2013109, 1978.","journal-title":"Cognitive Science"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1111\/j.1467-8640.1987.tb00183.x","volume":"3","author":"D. McDermott","year":"1987","unstructured":"D. McDermott. A critique of pure reason. Computational Intelligence, 3:151\u2013160, 1987.","journal-title":"Computational Intelligence"},{"key":"2_CR21","series-title":"Technical report","volume-title":"Law-governed systems","author":"N. H. Minsky","year":"1988","unstructured":"N. H. Minsky. Law-governed systems. Technical report, Rutgers University, Computer Science Department, New Brunswick, 1988."},{"key":"2_CR22","unstructured":"B. Pascal. Pens\u00e9es sur la religion et sur quelques autres sujets. Harvill, London, 1962. Translated by M. Turnell, originally published 1662."},{"key":"2_CR23","volume-title":"The Web of Belief","author":"W. V. Quine","year":"1978","unstructured":"W. V. Quine and J. S. Ullian. The Web of Belief. Random House, New York, second edition, 1978.","edition":"second edition"},{"key":"2_CR24","unstructured":"R. Reiter. On integrity constraints. In M. Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 97\u2013111, Los Altos, 1988. Morgan Kaufmann."},{"key":"2_CR25","unstructured":"S. Russell and E. Wefald. Principles of metareasoning. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 400\u2013411, San Mateo, CA, 1989. Morgan Kaufmann."},{"key":"2_CR26","volume-title":"The Foundations of Statistics","author":"L. J. Savage","year":"1972","unstructured":"L. J. Savage. The Foundations of Statistics. Dover Publications, New York, second edition, 1972.","edition":"second edition"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, 1988.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"H. A. Simon. From substantive to procedural rationality. In S. J. Latsis, editor, Method and Appraisal in Economics, pages 129\u2013148. Cambridge University Press, 1976.","DOI":"10.1017\/CBO9780511572203.006"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0004-3702(85)90028-1","volume":"26","author":"D. E. Smith","year":"1985","unstructured":"D. E. Smith and M. R. Genesereth. Ordering conjunctive queries. Artificial Intelligence, 26:171\u2013215, 1985.","journal-title":"Artificial Intelligence"},{"issue":"11","key":"2_CR30","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"18","author":"L. G. Valiant","year":"1984","unstructured":"L. G. Valiant. A theory of the learnable. Communications of the ACM, 18(11):1134\u20131142, 1984.","journal-title":"Communications of the ACM"},{"key":"2_CR31","volume-title":"Theory of Games and Economic Behavior","author":"J. Neumann von","year":"1953","unstructured":"J. von Neumann and O. Morgenstern. Theory of Games and Economic Behavior. Princeton University Press, Princeton, third edition, 1953.","edition":"third edition"},{"key":"2_CR32","unstructured":"R. Waldinger. Achieving several goals simultaneously. In E. Elcock and D. Michie, editors, Machine Intelligence 8, pages 94\u2013136. Edinburgh University Press, 1977."}],"container-title":["Lecture Notes in Computer Science","The Logic of Theory Change"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:49:09Z","timestamp":1736106549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540535676","9783540468172"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0018415","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}