{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:22Z","timestamp":1725487222391},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727323"},{"type":"electronic","value":"9783540727347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_27","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T05:40:50Z","timestamp":1183009250000},"page":"379-400","source":"Crossref","is-referenced-by-count":1,"title":["Compactness Properties for Stable Semantics of Logic Programs"],"prefix":"10.1007","author":[{"given":"Victor W.","family":"Marek","sequence":"first","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"Apt, K.: Logic programming. In: van Leeuven, J. (ed.) Handbook of Theoretical Computer Science, pp. 493\u2013574. MIT Press, Cambridge (1990)"},{"key":"27_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1990-13103","volume":"13","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R., Blair, H.A.: Arithmetical Classification of Perfect Models of Stratified Programs. Fundamenta Informaticae\u00a013, 1\u201317 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"27_CR3","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"Apt, K., Blair, H., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013142. Morgan Kaufmann, Los Altos (1987)"},{"key":"27_CR4","unstructured":"Babovich, Y., Lifschitz, V.: Cmodels (2002), http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1011960831261","volume":"27","author":"P.A. Bonatti","year":"2001","unstructured":"Bonatti, P.A.: Resolution for Skeptical Stable Model Semantics. Journal of Automated Reasoning\u00a027, 391\u2013421 (2001)","journal-title":"Journal of Automated Reasoning"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0168-0072(97)00052-3","volume":"93","author":"D. Cenzer","year":"1998","unstructured":"Cenzer, D., Remmel, J.B.: Index Sets for $\\Pi^0_1$ -classes. Annals of Pure and Applied Logic\u00a093, 3\u201361 (1998)","journal-title":"Annals of Pure and Applied Logic"},{"key":"27_CR7","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1016\/S0049-237X(98)80046-3","volume-title":"Handbook of Recursive Mathematics: Volume 2","author":"D. Cenzer","year":"1998","unstructured":"Cenzer, D., Remmel, J.B.: $\\Pi^0_1$ -classes in Mathematics. In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics: Volume 2. Studies in Logic and the Foundations of Mathematics, vol.\u00a0139, pp. 623\u2013822. Elsevier, Amsterdam (1998)"},{"key":"27_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-46767-X_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"D. Cenzer","year":"1999","unstructured":"Cenzer, D., Remmel, J.B., Vanderbilt, A.: Locally Determined Logic Programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 34\u201349. Springer, Heidelberg (1999)"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Science Logic","author":"P. Cholewi\u0144ski","year":"1995","unstructured":"Cholewi\u0144ski, P.: Stratified default theories. In: Pacholski, L., Tiuryn, J. (eds.) CSL 1994. LNCS, vol.\u00a0933, Springer, Heidelberg (1995)"},{"key":"27_CR10","unstructured":"Dung, P.M., Kanchanasut, K.: A Fixpoint Approach to Declarative Semantics of Logic Programs. In: Lusk, E.L., Overbeek, R.A. (eds.) Logic Programming, Proceedings of North American Conference, pp. 604\u2013625 (1989)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF01536400","volume":"15","author":"A. Ferry","year":"1995","unstructured":"Ferry, A.: A topological characterization of the stable and minimal model classes of propositional logic programs. Ann. Math. Artificial Intelligence\u00a015, 325\u2013355 (1995)","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"27_CR12","first-page":"1070","volume-title":"Proceedings of the 5th International Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Semantics for Logic Programs. In: Proceedings of the 5th International Symposium on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheibare S\u00e4tze der Principia Mathemaica und verwandter Systeme I. Monatshefte Math. Phys.\u00a038, 173\u2013198 (1931)","journal-title":"Monatshefte Math. Phys."},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/1996261","volume":"173","author":"C.G. Jockusch","year":"1972","unstructured":"Jockusch, C.G., Soare, R.I.: $\\pi_1^0$ Classes and Degrees of Theories. Transactions of American Mathematical Society\u00a0173, 33\u201356 (1972)","journal-title":"Transactions of American Mathematical Society"},{"key":"27_CR15","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Hentenryck, P. (ed.) Proceedings of the Eleventh International Conference on Logic Programming, pp. 23\u201337 (1994)"},{"key":"27_CR16","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1989","unstructured":"Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1989)"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"W. Marek","year":"1990","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Nonmonotonic Rule Systems I. Annals of Mathematics and Artificial Intelligence\u00a01, 241\u2013273 (1990)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01543477","volume":"5","author":"W. Marek","year":"1992","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Nonmonotonic Rule Systems II. Annals of Mathematics and Artificial Intelligence\u00a05, 229\u2013264 (1992)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"27_CR19","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: A Context for Belief Revision: Normal Logic Programs (Extended Abstract). In: Proceedings, Workshop on Defeasible Reasoning and Constraint Solving, International Logic Programming Symposium, San Diego, CA (1991)"},{"key":"27_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0168-0072(92)90069-C","volume":"56","author":"W. Marek","year":"1992","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: How Complicated is the Set of Stable Models of a Logic Program? Annals of Pure and Applied Logic\u00a056, 119\u2013136 (1992)","journal-title":"Annals of Pure and Applied Logic"},{"key":"27_CR21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(14)80008-3","volume":"21","author":"W. Marek","year":"1994","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: The stable models of predicate logic programs. Journal of Logic Programming\u00a021, 129\u2013154 (1994)","journal-title":"Journal of Logic Programming"},{"key":"27_CR22","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0168-0072(94)90013-2","volume":"67","author":"W. Marek","year":"1994","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Context for belief revision: Forward chaining-normal nonmonotonic rule systems. Annals of Pure and Applied Logic\u00a067, 269\u2013324 (1994)","journal-title":"Annals of Pure and Applied Logic"},{"key":"27_CR23","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, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138, 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM\u00a038, 587 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,16]],"date-time":"2021-08-16T01:35:53Z","timestamp":1629077753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}