{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T15:59:44Z","timestamp":1794412784837,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540547129","type":"print"},{"value":"9783540464433","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_214","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:10:02Z","timestamp":1330193402000},"page":"17-27","source":"Crossref","is-referenced-by-count":0,"title":["Some notes on cumulative reasoning"],"prefix":"10.1007","author":[{"given":"G.","family":"Amati","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"Aiello L., Amati G., Pirri F., Intuitionistic modal calculus for autoepistemic logic, in Proc. of the First World Conference on the Fundamentals of AI, Paris 1\u20135 July 1991."},{"key":"2_CR2","unstructured":"Bell J., Pragmatics Logics, in Proc. of 2nd Int. Conf. of Knowledge Representation and reasoning, Cambridge MA, 22\u201325 Aprile, 1991."},{"key":"2_CR3","first-page":"510","volume":"50","author":"C. E. Alchourron","year":"1985","unstructured":"Alchourron, C.E., G\u00e4rdenfors P., Makinson D., On the logic of theory change: partial meet contraction and revision function, JSL, 50, (1985), pp. 510\u2013530.","journal-title":"JSL"},{"key":"2_CR4","unstructured":"Clarke, M.R.B., Gabbay D., An intuitionistic Basis for Non-monotonic Reasoning, in Smeth P., Mamdani E.H., Dubois D., Prade H., Non-standard logics for automated reasoning, Academic Press, 1988, pp. 163\u2013178."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Intuitionistic basis for non-monotonic reasoning, Proc. 6th Conference on Automated Deduction, LNCS 138, pp. 260\u2013273.","DOI":"10.1007\/BFb0000064"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Proc. of NATO Advanced Study Institute on Logics of Concurrent Systems","author":"D. Gabbay","year":"1985","unstructured":"Gabbay, D., Theoretical foundation for non-monotonic reasoning in expert systems, in Proc. of NATO Advanced Study Institute on Logics of Concurrent Systems, Springer Verlag, Berlin, 1985 pp. 439\u2013457."},{"key":"2_CR7","unstructured":"G\u00e4rdenfors P., Knowledge influx, The MIT Press, 1988."},{"key":"2_CR8","volume-title":"Proc. ECAI'90","author":"P. G\u00e4rdenfors","year":"1990","unstructured":"G\u00e4rdenfors P., Belief revision and nonmonotonic logics: two sides of the same coin?, in Proc. ECAI'90, L. Carlucci Aiello (ed.), Pitman Publishing, London, 1990."},{"key":"2_CR9","unstructured":"G\u00e4rdenfors P.,Makinson D., Nonmonotonic inference based on expectations, unpublished manuscript."},{"key":"2_CR10","first-page":"165","volume-title":"Towards a theory of knowledge and ignorance","author":"J. Y. Halpern","year":"1984","unstructured":"J. Y. Halpern, Y. Halpern, Towards a theory of knowledge and ignorance, Proceedings 1984 Non-monotonic Reasoning Workshop, AAAI, New Paltz, N.Y., 1984, pp. 165\u2013193."},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Magidor M., Lehmann D., Non-monotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44, (1990), pp. 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"2_CR12","unstructured":"Lewis D.K., Counterfactuals, Oxford Basil Blackwell, 1973."},{"key":"2_CR13","unstructured":"Lindstr\u00f6m S., A semantic approach to nonmonotonic reasoning: inference operations and choice, Dept. of Philosophy, Uppsala University, unpublished manuscript."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Makinson D., General theory of cumulative inference, in M. Reinfrank, J. de Kleer, M.L. Ginsberg, E, Sandewall (Eds.) Non monotonic reasoning, 2nd Int.Workshop, LNAI Springer 346, 1988, pp. 1\u201318.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"2_CR15","unstructured":"Marek V., Truszczynki M., Relating autoepistemic logic and default logics, in J. Brachman, H. Levesque, R. Reiter, Proc. of the 1st Conference on principles of Knowledge Representation and Reasoning, Toronto, (1989), pp.276\u2013288."},{"key":"2_CR16","unstructured":"Moore, Autoepistemic logic, in Smeth P., Mamdani E.H., Dubois D., Prade H., Non-standard logics for automated reasoning, Academic Press, 1988, pp. 105\u2013136."},{"key":"2_CR17","unstructured":"Shoham Y., Reasoning about change, The MIT Press, 1988."},{"key":"2_CR18","unstructured":"Takeuti G., Proof theory, Studies in Logic vol. 83, North-Holland, 1975."}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_214.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:56:14Z","timestamp":1605628574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_214","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/3-540-54712-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}