{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:54Z","timestamp":1725663774144},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544876"},{"type":"electronic","value":"9783540384014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54487-9_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:54:06Z","timestamp":1330210446000},"page":"289-299","source":"Crossref","is-referenced-by-count":3,"title":["A generalization of stability and its application to circumscription of positive introspective knowledge"],"prefix":"10.1007","author":[{"given":"Jan","family":"Jaspars","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"17_CR1","volume-title":"Speech Acts, Syntax and Semantics","author":"H.P. Grice","year":"1975","unstructured":"H.P. Grice, \u201cLogic and conversation,\" in Speech Acts, Syntax and Semantics, P. Cole & J. Morgan, eds. #III: Speech Acts, Academic Press, New York, 1975."},{"key":"17_CR2","unstructured":"J.Y. Halpern & Y.O. Moses, \u201cTowards a theory of knowledge and ignorance: a preliminary report,\" in Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 1984, 125\u2013143."},{"key":"17_CR3","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca N.Y., 1962."},{"key":"17_CR4","volume-title":"A Companion to Modal Logic","author":"G.E. Hughes","year":"1984","unstructured":"G.E. Hughes & M.J. Cresswell, A Companion to Modal Logic, Methuen, New York, 1984."},{"key":"17_CR5","unstructured":"J.O.M. Jaspars, \u201cKennis en Eerlijk in S4 Kripke Modellen (Knowledge and Honesty in S4 Kripke Models),\" University of Amsterdam, M.-thesis, supervised by J.F.A.K. van Benthem, Amsterdam, 1988."},{"key":"17_CR6","series-title":"Lecture Notes in Artificial Intelligence","first-page":"303","volume-title":"Logics in AI\/JELIA'90","author":"J.O.M. Jaspars","year":"1991","unstructured":"J.O.M. Jaspars, \u201cTheoretical Circumscription in Partial Modal Logic,\" in Logics in AI\/JELIA'90, J. van Eijck, ed., Lecture Notes in Artificial Intelligence #478, Springer Verlag, Heidelberg, 1991, 303\u2013318."},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"K. Konolige, \u201cOn the relation between default and autoepistemic logic,\" Artificial Intelligence 35 (1988), 343\u2013382.","journal-title":"Artificial Intelligence"},{"key":"17_CR8","volume-title":"The \u2018Lemmon Notes': An Introduction to Modal Logic","author":"E.J. Lemmon","year":"1977","unstructured":"E.J. Lemmon & D.S. Scott, The \u2018Lemmon Notes': An Introduction to Modal Logic, Blackwell, Oxford, 1977."},{"key":"17_CR9","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"W. Lenzen, \u201cRecent work in epistemic logic,\" Acta Philosophica Fennica 30 (1978), 1\u2013219.","journal-title":"Acta Philosophica Fennica"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, \u201cCircumscription \u2014 A form of non-monotonic reasoning,\" Artificial Intelligence Journal 13(1980), 27\u201339.","journal-title":"Artificial Intelligence Journal"},{"key":"17_CR11","first-page":"272","volume-title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","author":"R.C. Moore","year":"1983","unstructured":"R.C. Moore, \u201cSemantical considerations on non-monotonic reasoning,\" in Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1983, 272\u2013279."},{"key":"17_CR12","unstructured":"R.C. Moore, \u201cPossible world semantics for autoepistemic logic,\" in Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 1984, 344\u2013354."},{"key":"17_CR13","first-page":"509","volume-title":"Model-theoretic analysis of monotone knowledge","author":"M.Y. Vardi","year":"1985","unstructured":"M.Y. Vardi, \u201cModel-theoretic analysis of monotone knowledge,\" in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, 1985, 509\u2013512."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54487-9_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:19Z","timestamp":1619572939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54487-9_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544876","9783540384014"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54487-9_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}