{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:05Z","timestamp":1725455945444},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018455","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"399-411","source":"Crossref","is-referenced-by-count":10,"title":["Non-monotonic reasoning by monotonic means"],"prefix":"10.1007","author":[{"given":"J. -J.Ch.","family":"Meyer","sequence":"first","affiliation":[]},{"given":"W.","family":"van der Hoek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"volume-title":"The Frame Problem in Artificial Intelligence","year":"1987","key":"26_CR1","unstructured":"F.M. Brown (ed.), The Frame Problem in Artificial Intelligence, Morgan Kaufmann, Los Altos, 1987."},{"key":"26_CR2","volume-title":"An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge\/London, 1980."},{"key":"26_CR3","doi-asserted-by":"crossref","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, Artif. Intell. 12, 1979, pp. 231\u2013272.","journal-title":"Artif. Intell."},{"key":"26_CR4","volume-title":"Reasoning with Incomplete Information","author":"D.W. Etherington","year":"1988","unstructured":"D.W. Etherington, Reasoning with Incomplete Information, Pitman\/Morgan Kaufmann, London\/Los Altos, 1988."},{"key":"26_CR5","unstructured":"M.L. Ginsberg, Multi-Valued Logics, Proc. 5th Nat. Conf. on Artif. Intell., Philadelphia, 1986, pp. 243\u2013247."},{"volume-title":"Readings in Nonmonotonic Reasoning","year":"1987","key":"26_CR6","unstructured":"M.L. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, 1987."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel, Dynamic Logic, in: D.M. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht\/Boston, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"26_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare, An Axiomatic Basis for Computer Programming, Comm. ACM 12, 1969, pp. 576\u2013580.","journal-title":"Comm. ACM"},{"key":"26_CR9","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1977","unstructured":"G.E. Hughes & M.J. Cresswell, An Introduction to Modal Logic, Methuen & Co. Ltd, London, 1977."},{"key":"26_CR10","unstructured":"D.J. Israel, What's Wrong with Non-Monotonic Logic, Proc. 1st Annual Nat. Conf. on Artif. Intell., Stanford, 1980, pp. 99\u2013101."},{"issue":"1\/2","key":"26_CR11","first-page":"7","volume":"3","author":"W. Lukaszewicz","year":"1986","unstructured":"W. Lukaszewicz, Formalization of Knowledge and Ignorance: Introduction to Non-Monotonic Reasoning, J. Integrated Study of Artif. Intell., Cogn. Sc. & Appl. Epistem. 3(1\/2), 1986, pp. 7\u201331.","journal-title":"J. Integrated Study of Artif. Intell., Cogn. Sc. & Appl. Epistem"},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott & J. Doyle, Non-Monotonic Logic I, Artif. Intell. 13, 1980, pp. 41\u201372.","journal-title":"Artif. Intell."},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"D. McDermott, Nonmonotonic Logic II: Nonmonotonic Modal Theories, Journal of the ACM 29, 1982, pp. 33\u201357.","journal-title":"Journal of the ACM"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore, Semantical Considerations on Nonmonotonic Logic, Artif. Intell. 25, 1985, pp. 75\u201394.","journal-title":"Artif. Intell."},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1111\/j.1467-8640.1986.tb00083.x","volume":"2","author":"D. Perlis","year":"1986","unstructured":"D. Perlis, On the Consistency of Commonsense Reasoning, Comput. Intell. 2, 1986, pp. 180\u2013190.","journal-title":"Comput. Intell."},{"key":"26_CR16","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole, A Logical Framework for Default Reasoning, Artif. Intell. 36, 1988, pp. 27\u201347.","journal-title":"Artif. Intell."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"K.R. Popper, The Logic of Scientific Discovery, Hutchinson, London, 1959.","DOI":"10.1063\/1.3060577"},{"key":"26_CR18","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, On Closed-World Databases, in: Logic and Databases (H. Gallaire & J. Minker (eds.), Plenum, New York, 1978, pp. 55\u201376."},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A Logic for Default Reasoning, Artif. Intell. 13, 1980, pp. 81\u2013132.","journal-title":"Artif. Intell."},{"key":"26_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","volume":"2","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, Nonmonotonic Reasoning, Annual Reviews of Comp. Sc. 2, 1987, pp. 147\u2013187.","journal-title":"Annual Reviews of Comp. Sc."},{"key":"26_CR21","unstructured":"Y. Shoham, A Semantical Approach to Nonmonotonic Logics, in: Proc. 10th Int. Joint Conf. on Artif. Intell., 1987, pp. 388\u2013392."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:36:29Z","timestamp":1586572589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0018455","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}