{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:52Z","timestamp":1725686692477},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_26","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"386-389","source":"Crossref","is-referenced-by-count":0,"title":["Lifschitz and Circumscription"],"prefix":"10.1007","author":[{"given":"Neelakantan","family":"Kartha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A. Baker","year":"1991","unstructured":"Baker, A.: Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence\u00a049, 5\u201323 (1991)","journal-title":"Artificial Intelligence"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P. Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artificial Intelligence\u00a0175, 236\u2013263 (2011)","journal-title":"Artificial Intelligence"},{"key":"26_CR3","unstructured":"Neelakantan Kartha, G., Lifschitz, V.: A simple formalization of actions using circumscription. In: Proc. of IJCAI 1995, pp. 1970\u20131975 (1995)"},{"key":"26_CR4","unstructured":"Neelakantan Kartha, G.: Soundness and completeness theorems for three formalizations of action. In: Proc. of IJCAI 1993, pp. 724\u2013729 (1993)"},{"key":"26_CR5","unstructured":"Lifschitz, V.: Computing circumscription. In: Proc. of IJCAI 1985, pp. 121\u2013127 (1985)"},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/B978-0-934613-32-3.50009-5","volume-title":"The Frame Problem in Artificial Intelligence","author":"Vladimir Lifschitz","year":"1987","unstructured":"Lifschitz, V.: Formal theories of action. In: Brown, F.M. (ed.) Proc. of the 1987 Workshop on The Frame Problem in Artificial Intelligence, pp. 35\u201358 (1987)"},{"key":"26_CR7","first-page":"179","volume-title":"Readings in Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1987","unstructured":"Lifschitz, V.: Pointwise circumscription. In: Ginsberg, M. (ed.) Readings in Nonmonotonic Reasoning, pp. 179\u2013193. Morgan Kaufmann, San Mateo (1987)"},{"key":"26_CR8","unstructured":"Lifschitz, V.: Between circumscription and autoepistemic logic. In: Brachman, R., Levesque, H., Reiter, R. (eds.) Proc.\u00a0of the First Int\u2019l Conf.\u00a0on Principles of Knowledge Representation and Reasoning, pp. 235\u2013244 (1989)"},{"key":"26_CR9","unstructured":"Lifschitz, V.: Towards a metatheory of action. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proc. of the Second Int\u2019l Conf.\u00a0on Principles of Knowledge Representation and Reasoning, pp. 376\u2013386 (1991)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","volume":"96","author":"V. Lifschitz","year":"1997","unstructured":"Lifschitz, V.: On the logic of causal explanations. Artificial Intelligence\u00a096, 451\u2013465 (1997)","journal-title":"Artificial Intelligence"},{"key":"26_CR11","unstructured":"McCarthy, J.: Epistemological problems of artificial intelligence. In: Proc. of IJCAI 1977, pp. 1038\u20131044 (1977)"},{"issue":"1\u20132","key":"26_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription\u2014a form of non-monotonic reasoning. Artificial Intelligence\u00a013(1\u20132), 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"26_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J.: Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence\u00a028(1), 89\u2013116 (1986)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"26_CR14","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on nonmonotonic logic. Artificial Intelligence\u00a025(1), 75\u201394 (1985)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T21:34:36Z","timestamp":1539380076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}