{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:20:27Z","timestamp":1742970027773,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_33","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"398-410","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Infinitary Equilibrium Logic and Strong Equivalence"],"prefix":"10.1007","author":[{"given":"Amelia","family":"Harrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Lifschitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pearce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agust\u00edn","family":"Valverde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1017\/S1471068407003110","volume":"7","author":"P Cabalar","year":"2007","unstructured":"Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theor. Pract. Logic Program. 7, 745\u2013759 (2007)","journal-title":"Theor. Pract. Logic Program."},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"33_CR3","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)"},{"issue":"1","key":"33_CR4","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1017\/S1471068414000088","volume":"15","author":"A Harrison","year":"2015","unstructured":"Harrison, A., Lifschitz, V., Truszczynski, M.: On equivalence of infinitary formulas under the stable model semantics. Theor. Pract. Logic Program. 15(1), 18\u201334 (2015)","journal-title":"Theor. Pract. Logic Program."},{"key":"33_CR5","unstructured":"Harrison, A., Lifschitz, V., Yang, F.: The semantics of Gringo and infinitary propositional formulas. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) (2014)"},{"key":"33_CR6","first-page":"183","volume":"13","author":"T Hosoi","year":"1966","unstructured":"Hosoi, T.: The axiomatization of the intermediate propositional systems $${S}_n$$ of G\u00f6del. J. Fac. Sci. Univ. Tokyo 13, 183\u2013187 (1966)","journal-title":"J. Fac. Sci. Univ. Tokyo"},{"key":"33_CR7","first-page":"137","volume":"4","author":"L Kalm\u00e1r","year":"1936","unstructured":"Kalm\u00e1r, L.: Zur\u00fcckf\u00fchrung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen, bindren, Funktionsvariablen. Compositio Mathematica 4, 137\u2013144 (1936)","journal-title":"Compositio Mathematica"},{"key":"33_CR8","volume-title":"Languages with Expressions of Infinite Length","author":"CR Karp","year":"1964","unstructured":"Karp, C.R.: Languages with Expressions of Infinite Length. North-Holland, Amsterdam (1964)"},{"key":"33_CR9","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), pp. 472\u2013479 (2008)"},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Logic 2, 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Logic"},{"key":"33_CR11","unstructured":"\u0141ukasiewicz, J.: Die Logik und das Grundlagenproblem. In: Les Entretiens de Z\u00fcrich sue les Fondements et la m\u00e9thode des sciences math\u00e9matiques 1938, pp. 82\u2013100. Leemann, Z\u00fcrich (1941)"},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0003-4843(78)90015-3","volume":"14","author":"M Nadel","year":"1978","unstructured":"Nadel, M.: Infinitary intuitionistic logic from a classical point of view. Ann. Math. Logic 14, 159\u2013191 (1978)","journal-title":"Ann. Math. Logic"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D Pearce","year":"1997","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol. 1216, pp. 57\u201370. Springer, Heidelberg (1997)"},{"key":"33_CR14","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/cm-6-1-165-170","volume":"6","author":"D Scott","year":"1958","unstructured":"Scott, D., Tarski, A.: The sentential calculus with infinitely long expressions. Colloquium Math. 6, 165\u2013170 (1958)","journal-title":"Colloquium Math."},{"issue":"3","key":"33_CR15","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1305\/ndjfl\/1093957235","volume":"III","author":"I Thomas","year":"1962","unstructured":"Thomas, I.: Finite limitations on dummett\u2019s LC. Notre Dame J. Formal Logic III(3), 170\u2013174 (1962)","journal-title":"Notre Dame J. Formal Logic"},{"key":"33_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-642-30743-0_37","volume-title":"Correct Reasoning","author":"M Truszczynski","year":"2012","unstructured":"Truszczynski, M.: Connecting first-order ASP and the logic FO(ID) through reducts. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol. 7265, pp. 543\u2013559. Springer, Heidelberg (2012)"},{"issue":"2","key":"33_CR17","doi-asserted-by":"publisher","first-page":"116","DOI":"10.2969\/jmsj\/01120116","volume":"11","author":"T Umezawa","year":"1959","unstructured":"Umezawa, T.: On intermediate many-valued logics. J. Math. Soc. Jpn. 11(2), 116\u2013128 (1959)","journal-title":"J. Math. Soc. Jpn."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T11:28:15Z","timestamp":1676978895000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}