{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:19Z","timestamp":1725664759869},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61630-6_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:08:41Z","timestamp":1330276121000},"page":"164-175","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Only persistence makes nonmonotonicity monotonous"],"prefix":"10.1007","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","first-page":"331","volume-title":"Logic Colloquium, Granada 1987","author":"J.F.A.K. Benthem van","year":"1989","unstructured":"J.F.A.K. van Benthem, \u201cSemantic parallels in natural language and computation\u201d, in: H.D. Ebbinghaus et al. (eds.), Logic Colloquium, Granada 1987, North Holland, Amsterdam, 1989, pp. 331\u2013375"},{"key":"11_CR2","volume-title":"Model Theory","author":"C.C. Chang","year":"1973","unstructured":"C.C. Chang, H.J. Keisler, Model Theory, North-Holland, Amsterdam, 1973"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"M. Davis","year":"1980","unstructured":"M. Davis, \u201cThe mathematics of non-monotonic reasoning\u201d, Artificial Intelligence 13, 1980, pp. 73\u201380","journal-title":"Artificial Intelligence"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, \u201cMinimal Temporal Epistemic Logic\u201d, Technical Report IR-388, Free University Amsterdam, Department of Mathematics and Computer Science, 1995. To appear in Notre Dame Journal of Formal Logic.","DOI":"10.1305\/ndjfl\/1040046088"},{"key":"11_CR5","volume-title":"Reasoning with Incomplete Information","author":"D.W. Etherington","year":"1988","unstructured":"D.W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann Publishers, Inc., Los Altos, California, 1988"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, J. Treur, \u201cA temporal model theory for default logic\u201d, in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Lecture Notes in Computer Science, vol. 747, Springer Verlag, 1993, pp. 91\u201396","DOI":"10.1007\/BFb0028187"},{"key":"11_CR7","unstructured":"J. Engelfriet, J. Treur, \u201cTemporal theories of reasoning\u201d, in: C. MacNish, D. Pearce, L.M. Pereira (eds.), Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Lecture Notes in Artificial Intelligence, vol. 838, Springer Verlag, 1994, pp. 279\u2013299. Also in: Journal of Applied Non-Classical Logics 5 (2), 1995, pp. 239\u2013261"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, J. Treur, \u201cSpecification of nonmonotonic reasoning\u201d, in: D.M. Gabbay, H.J. Ohlbach (eds.), Proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, 1996, pp. 111\u2013125","DOI":"10.1007\/3-540-61313-7_67"},{"key":"11_CR9","unstructured":"J.Y. Halpern, Y. Moses, \u201cTowards a theory of knowledge and ignorance\u201d, in: Proceedings of the Workshop on Non-monotonic Reasoning, AAAI, 1984, pp. 125\u2013143"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann, M. Magidor, \u201cNonmonotonic Reasoning, Preferential Models and Cumulative Logics\u201d, Artificial Intelligence 44, 1990, pp. 167\u2013207","journal-title":"Artificial Intelligence"},{"key":"11_CR11","unstructured":"J. McCarthy, \u201cEpistemological problems of artificial intelligence\u201d, in: Proceedings Fifth International Joint Conference on Artificial Intelligence, 1977, pp. 1038\u20131044"},{"key":"11_CR12","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\u201d, Artificial Intelligence 13, 1980, pp. 27\u201339","journal-title":"Artificial Intelligence"},{"key":"11_CR13","unstructured":"J.-J. Ch. Meyer, W. van der Hoek, Epistemic Logic for Computer Science and Artificial Intelligence, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press, 1995."},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, \u201cA logic for default reasoning\u201d, Artificial Intelligence 13, 1980, pp. 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, \u201cEquality and domain closure in first-order data bases\u201d, Journal of the ACM 27, 1980, pp. 235\u2013249","journal-title":"Journal of the ACM"},{"key":"11_CR16","unstructured":"Y. Shoham, \u201cA semantical approach to nonmonotonic logics\u201d, in: Proceedings 10th IJCAI, 1987, pp. 388\u2013392"},{"key":"11_CR17","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham, Reasoning about Change, MIT Press, Cambridge, 1988"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:52:52Z","timestamp":1640929972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_11"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}