{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T17:07:44Z","timestamp":1767373664761,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_37","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"543-559","source":"Crossref","is-referenced-by-count":24,"title":["Connecting First-Order ASP and the Logic FO(ID) through Reducts"],"prefix":"10.1007","author":[{"given":"Miroslaw","family":"Truszczynski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49545-2_1","volume-title":"Logics in Artificial Intelligence","author":"M. Denecker","year":"1998","unstructured":"Denecker, M.: The Well-Founded Semantics Is the Principle of Inductive Definition. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 1\u201316. Springer, Heidelberg (1998)"},{"key":"37_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/3-540-44957-4_47","volume-title":"Computational Logic - CL 2000","author":"M. Denecker","year":"2000","unstructured":"Denecker, M.: Extending Classical Logic with Inductive Definitions. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 703\u2013717. Springer, Heidelberg (2000)"},{"key":"37_CR3","unstructured":"Denecker, M., Lierler, Y., Truszczynski, M., Vennekens, J.: A Tarskian semantics for Answer Set Programming (2012) (a manuscript)"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Denecker, M., Marek, V., Truszczy\u0144ski, M.: Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 127\u2013144. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_6"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Denecker, M., Ternovska, E.: A logic for non-monotone inductive definitions. ACM Transactions on Computational Logic\u00a09(2) (2008)","DOI":"10.1145\/1342991.1342998"},{"key":"37_CR6","series-title":"Foundations of Computing Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3133.001.0001","volume-title":"From Logic to Logic Programming","author":"K. Doets","year":"1994","unstructured":"Doets, K.: From Logic to Logic Programming. Foundations of Computing Series. MIT Press, Cambridge (1994)"},{"key":"37_CR7","series-title":"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.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"issue":"1","key":"37_CR8","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. Artif. Intell.\u00a0175(1), 236\u2013263 (2011)","journal-title":"Artif. Intell."},{"key":"37_CR9","unstructured":"Ferraris, P., Lifschitz, V.: Mathematical foundations of answer set programming. In: Art\u00ebmov, S., Barringer, H., d\u2019Avila Garcez, A., Lamb, L.C., Woods, J. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, pp. 615\u2013664. College Publications (2005)"},{"key":"37_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: Proceedings of the 5th International Conference on Logic Programming (ICLP 1988), pp. 1070\u20131080. MIT Press (1988)"},{"key":"37_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"37_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computat. Logic (Kowalski Festschrift) . LNCS (LNAI), vol.\u00a02408, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"issue":"4-5","key":"37_CR13","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1017\/S1471068411000214","volume":"11","author":"Y. Lierler","year":"2011","unstructured":"Lierler, Y., Truszczynski, M.: Transition systems for model generators - a unifying approach. Theory and Practice of Logic Programming\u00a011(4-5), 629\u2013646 (2011)","journal-title":"Theory and Practice of Logic Programming"},{"key":"37_CR14","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V. Marek","year":"1999","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K., Marek, W., Truszczy\u0144ski, M., Warren, D. (eds.) The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Berlin (1999)"},{"key":"37_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-79719-7_20","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2008","author":"M. Mari\u00ebn","year":"2008","unstructured":"Mari\u00ebn, M., Wittocx, J., Denecker, M., Bruynooghe, M.: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. In: Kleine B\u00fcning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol.\u00a04996, pp. 211\u2013224. Springer, Heidelberg (2008)"},{"issue":"3-4","key":"37_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"37_CR17","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1017\/S147106840800358X","volume":"5-6","author":"E. Oikarinen","year":"2008","unstructured":"Oikarinen, E., Janhunen, T.: Achieving compositionality of the stable model semantics for Smodels programs. Theory and Practice of Logic Programming\u00a05-6, 717\u2013761 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"37_CR18","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.\u00a01216, pp. 57\u201370. Springer, Heidelberg (1997)"},{"key":"37_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-89982-2_46","volume-title":"Logic Programming","author":"D. Pearce","year":"2008","unstructured":"Pearce, D., Valverde, A.: Quantified Equilibrium Logic and Foundations for Answer Set Programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 546\u2013560. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"37_CR20","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"37_CR21","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Van Gelder","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:56:53Z","timestamp":1558299413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}