{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T18:20:54Z","timestamp":1747592454782},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_20","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"233-244","source":"Crossref","is-referenced-by-count":2,"title":["Interpolation Theorems for Nonmonotonic Reasoning Systems"],"prefix":"10.1007","author":[{"given":"Eyal","family":"Amir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"20_CR1","unstructured":"E. Amir. (De)composition of situation calculus theories. In Proc. AAAI\u2019 00, pages 456\u2013463. AAAI Press\/MIT Press, 2000."},{"key":"20_CR2","unstructured":"E. Amir and S. McIlraith. Paritition-based logical reasoning. In Proc. KR\u2019 2000, pages 389\u2013400, 2000."},{"key":"20_CR3","first-page":"250","volume":"22","author":"W. Craig","year":"1957","unstructured":"W. Craig. Linear reasoning. a new form of the Herbrand-Gentzen theorem. J. of Symbolic Logic, 22:250\u2013268, 1957.","journal-title":"a new form of the Herbrand-Gentzen theorem"},{"key":"20_CR4","first-page":"165","volume":"8","author":"A. Darwiche","year":"1998","unstructured":"A. Darwiche. Model-based diagnosis using structured system descriptions. Journal of AI Research, 8: 165\u2013222, 1998.","journal-title":"Journal of AI Research"},{"issue":"1\u20132","key":"20_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R. Dechter","year":"1999","unstructured":"R. Dechter. Bucket elimination: A unifying framework for reasoning. Artificial Intelligence, 113(1\u20132):41\u201385, 1999.","journal-title":"Artificial Intelligence"},{"key":"20_CR6","unstructured":"R. Dechter and J. Pearl. Tree Clustering Schemes for Constraint Processing. In Proc. AAAI\u2019 88, 1988."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"R. Dechter and 1. Rish. Directional resolution: The Davis-Putnam procedure, revisited. In Proc. KR\u2019 94, pages 134\u2013145. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50109-3"},{"key":"20_CR8","unstructured":"J. D.M. Gabbay, C.J. Hogger, editor. Handbook of Logic in Artzjicial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford, 1993."},{"key":"20_CR9","unstructured":"D. Etherington. Reasoning with incomplete Information. PhD thesis, University of British Columbia, 1986."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In 5th International Conference on Logic Programming, pages 1070\u20131080, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"key":"20_CR11","unstructured":"M. Gelfond and V. Lifschitz. Logic Program with Classical Negation. In D. H. D. Warren and P. Szeredi, editors, 7th Int. Conf. on Logic Programming, pages 579\u2013597. MIT, 1990."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9, 1991.","DOI":"10.1007\/BF03037169"},{"key":"20_CR13","unstructured":"W. Hodges. A shorter model theory. Cambridge U. Press, 1997."},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0004-3702(87)90064-6","volume":"32","author":"T. Imielinski","year":"1987","unstructured":"T. Imielinski. Results on translating defaults to circumscription. Artificial Intelligence, 32(1): 131\u2013146, Apr. 1987.","journal-title":"Artificial Intelligence"},{"key":"20_CR15","unstructured":"V. Lifschitz. Computing circumscription. In Proc. of IJCAI-85, pages 121\u2013127, 1985."},{"key":"20_CR16","unstructured":"V Lifschitz. Circumscription. In D. Gabbay, C.J. Hogger, and J.A. Robinson, editors, H.B. of Logic in Artificial Intelligence and Logic Programming, Vol. 3. Oxford U. Press, 1993."},{"key":"20_CR17","unstructured":"V. Lifschitz and H. Turner. Splitting a logic program. In Proc. 11th Int\u2019l Conf. on Logic Programming, pages 23\u201337. MIT Press, 1994."},{"key":"20_CR18","volume-title":"Nonmonotonic Logics; Context-Dependent Reasoning","author":"V. M. Marek","year":"1993","unstructured":"V. M. Marek and M. Truszczynski. Nonmonotonic Logics; Context-Dependent Reasoning. Springer Verlag, Berlin-Heidelberg-NewYork, 1st edition, 1993.","edition":"1st edition"},{"key":"20_CR19","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. Circumscription-A Form of Non-Monotonic Reasoning. Artificial Inteligence, 13:27\u201339, 1980.","journal-title":"Artificial Inteligence"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28:89\u2013116, 1986.","journal-title":"Artificial Intelligence"},{"key":"20_CR21","unstructured":"S. McIlraith and E. Amir. Theorem proving with structured theories. In IJCAI\u2019 01, pages 624\u2013631, 2001."},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"T. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing, 9:401\u2013424, 1991.","journal-title":"New Generation Computing"},{"issue":"1\u20132","key":"20_CR23","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. A logic for default reasoning. Artificial Intelligence, 13 (1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00881957","volume":"13","author":"V. Risch","year":"1994","unstructured":"V. Risch and C. Schwind. Tableau-based characterization and theorem proving for default logic. Journal of Automated Reasoning, 13:223\u2013242, 1994.","journal-title":"Journal of Automated Reasoning"},{"key":"20_CR25","unstructured":"C. Sakama and K. Inoue. Relating disjunctive logic programs to default theories. In LP-NMR\u2019 93, pages 266\u2013282, 1993."},{"key":"20_CR26","unstructured":"H. Turner. Splitting a default theory. In Proc. AAAI\u2019 96, pages 645\u2013651, 1996."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T09:06:44Z","timestamp":1684055204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}