{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T18:20:57Z","timestamp":1747592457951},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540899815"},{"type":"electronic","value":"9783540899822"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89982-2_55","type":"book-chapter","created":{"date-parts":[[2008,12,14]],"date-time":"2008-12-14T22:09:15Z","timestamp":1229292555000},"page":"672-676","source":"Crossref","is-referenced-by-count":4,"title":["Safe Formulas in the General Theory of Stable Models (Preliminary Report)"],"prefix":"10.1007","author":[{"given":"Joohyung","family":"Lee","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Lifschitz","sequence":"additional","affiliation":[]},{"given":"Ravi","family":"Palla","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"55_CR1","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 372\u2013379 (2007)"},{"key":"55_CR2","first-page":"1070","volume-title":"Proceedings of International Logic Programming Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of International Logic Programming Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"55_CR3","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, 27\u201339, 171\u2013172 (1980)","journal-title":"Artificial Intelligence"},{"key":"55_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"2007","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol.\u00a04483. Springer, Heidelberg (2007)"},{"key":"55_CR5","unstructured":"Lee, J., Lifschitz, V., Palla, R.: A reductive semantics for counting and choice in answer set programming. In: Proceedings of the AAAI Conference on Artificial Intelligence, AAAI (to appear, 2008)"},{"key":"55_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/B978-0-934613-40-8.50010-5","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"R.W. Topor","year":"1988","unstructured":"Topor, R.W., Sonenberg, E.A.: On domain independent databases. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 217\u2013240. Morgan Kaufmann, San Mateo (1988)"},{"key":"55_CR7","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Faber, W., Pfeifer, G., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic\u00a07, 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"55_CR8","unstructured":"Lee, J., Palla, R.: Yet another proof of the strong equivalence between propositional theories and logic programs. In: Working Notes of the Workshop on Correspondence and Equivalence for Nonmonotonic Theories (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89982-2_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T06:03:53Z","timestamp":1551679433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89982-2_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540899815","9783540899822"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89982-2_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}