{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:10:01Z","timestamp":1747545001319,"version":"3.40.5"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1023\/a:1006500215741","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T02:18:38Z","timestamp":1040523518000},"page":"185-200","source":"Crossref","is-referenced-by-count":0,"title":["Many Birds Fly, Some Don't"],"prefix":"10.1007","volume":"13","author":[{"given":"Luia M. M.","family":"Cust\u00f3dio","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Pinto-Ferreira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"162538_CR1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1985","unstructured":"Bossu, G. & Siegel, P. (1985). Saturation, Non-monotonic Reasoning, and the Closed World Assumption. Artificial Intelligence\n25: 13-63.","journal-title":"Artificial Intelligence"},{"key":"162538_CR2","doi-asserted-by":"crossref","unstructured":"Cust\u00f3dio, L. & Pinto-Ferreira, C. (1995). Agreement: A Logical Approach to Approximate Reasoning, published in Lectures Notes on Artificial Intelligence (EPIA'95), Proceedings of the 7th Portuguese Conference on Artificial Intelligence (EPIA'95). Springer-Verlag.","DOI":"10.1007\/3-540-60428-6"},{"key":"162538_CR3","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. Gardenfors","year":"1988","unstructured":"Gardenfors, P. (1988). Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, MA: MIT Press."},{"key":"162538_CR4","first-page":"328","volume-title":"Proc. Fifth National Conference on Artificial Intelligence","author":"S. Hanks","year":"1986","unstructured":"Hanks, S. & McDermott, D. (1986). Default Reasoning, Nonmonotonic Logics, and the Frame Problem. In Proc. Fifth National Conference on Artificial Intelligence, 328-333. Los Altos, CA: Morgn Kaufmann Publishers, Inc."},{"key":"162538_CR5","volume-title":"Formal Theories of Action: Preliminary Report","author":"V. Lifschitz","year":"1986","unstructured":"Lifschitz, V. (1986). Formal Theories of Action: Preliminary Report. Working paper. Stanford, CA: Stanford University, Department of Computer Science."},{"key":"162538_CR6","first-page":"370","volume-title":"Proc. Eighth International Joint Conference on Artificial Intelligence","author":"J. Martins","year":"1983","unstructured":"Martins, J. & Shapiro, S. (1983). Reasoning in Multiple Belief Spaces. In Proc. Eighth International Joint Conference on Artificial Intelligence, 370-373. Los Altos, CA: Morgan Kaufmann Publishers, Inc."},{"issue":"1","key":"162538_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. Martins","year":"1988","unstructured":"Martins J. & Shapiro, S. (1988). A Model for Belief Revision. Artificial Intelligence\n35(1): 25-79.","journal-title":"Artificial Intelligence"},{"key":"162538_CR8","first-page":"77","volume-title":"Mechanization of Thought Processes, Proc. of the Symposium of the National Physics Laboratory","author":"J. McCarthy","year":"1958","unstructured":"McCarthy, J. (1958). Programs with Common Sense. In Mechanization of Thought Processes, Proc. of the Symposium of the National Physics Laboratory, 77-84. London, UK: Her Majesty's Stationary Office."},{"key":"162538_CR9","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J. & Hayes, P. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence\n4: 463-502.","journal-title":"Machine Intelligence"},{"key":"162538_CR10","first-page":"1038","volume-title":"Epistemological Problems of Artificial Intelligence","author":"J. McCarthy","year":"1997","unstructured":"McCarthy, J. (1997). Epistemological Problems of Artificial Intelligence. In Fifth International Joint Conference on Artificial Intelligence, 1038-1044. Los Altos, CA: Morgan Kaufmann Phblishers, Inc."},{"issue":"1","key":"162538_CR11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J. (1980). Circumscription \u2014 A Form of Non-monotonic Reasoning. Artificial Intelligence\n13(1): 27-39.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"162538_CR12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J. (1986). Applications of Circumscription of Formalizing Commonsense Knowledge. Artificial Intelligence\n28(1): 89-116.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"162538_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. & Doyle, J. (1980). Non-monotonic Logic I. Artificial Intelligence\n13(1): 41-72.","journal-title":"Artificial Intelligence"},{"key":"162538_CR14","unstructured":"Moore, R. (1988). Autoepistemic Logic. In Smets, Mamdani, Dubois & Prade (eds.) Non-Standard Logics for Automated Reasoning, 105-136. Academic Press."},{"key":"162538_CR15","series-title":"Lecture Notes on Artificial Intelligence","first-page":"141","volume-title":"Proc. Forth Portuguese Conference on Artificial Intelligence","author":"C. Pinto-Ferreira","year":"1989","unstructured":"Pinto-Ferreira, C. & Martins, J. (1989). Inscription \u2014 A Rule of Conjecture. In Proc. Forth Portuguese Conference on Artificial Intelligence, 141-150. Heidelberg, W. Germany: Springer-Verlag. Lecture Notes on Artificial Intelligence 390."},{"key":"162538_CR16","first-page":"503","volume-title":"Proc. Ninth European Conference on Artificial Intelligence","author":"C. Pinto-Ferreira","year":"1990","unstructured":"Pinto-Ferreira, C. & Martins, J. (1990). A Formal System for Reasoning about Change. In Proc. Ninth European Conference on Artificial Intelligence, 503-508. London, UK: Pitman Publishing."},{"key":"162538_CR17","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF00168959","volume":"4","author":"C. Pinto-Ferreira","year":"1990","unstructured":"Pinto-Ferreira, C. & Martins, J. (1990). Planning in a Commonsense Framework. Artificial Intelligence Review\n4: 279-294.","journal-title":"Artificial Intelligence Review"},{"key":"162538_CR18","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1080\/09528139308953770","volume":"5","author":"C. Pinto-Ferreira","year":"1993","unstructured":"Pinto-Ferreira, C. & Martins, J. (1993). The Strict Assumption: A Propositional Approach to Change. Journal of Experimental & Theoretical Artificial Intellignece\n5: 215-224.","journal-title":"Journal of Experimental & Theoretical Artificial Intellignece"},{"key":"162538_CR19","doi-asserted-by":"crossref","unstructured":"Reiter, R. (1978). On Reasoning by Default. In Proc. Second Symposium on Theoretical Issues in Natural Language Procesing, 25-27.","DOI":"10.3115\/980262.980297"},{"issue":"1","key":"162538_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reither","year":"1980","unstructured":"Reither, R. (1980). A logic for Default Reasoning. Artificial Intelligence\n13(1): 81-132.","journal-title":"Artificial Intelligence"},{"key":"162538_CR21","doi-asserted-by":"crossref","unstructured":"Shafer, G. (1976). A Mathematical Theory of Evidence. Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"162538_CR22","unstructured":"Shoham, Y. (1986). Chronological Ignorance: Time, Nonmonotonicity and Necessity. In Proceedings of the Fifth National Conference on Artificial Intelligence, 389-393. Morgan Kaufmann."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006500215741.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006500215741\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006500215741.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:31:23Z","timestamp":1747542683000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006500215741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["162538"],"URL":"https:\/\/doi.org\/10.1023\/a:1006500215741","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}