{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:37:53Z","timestamp":1649021873971},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2005,8]]},"DOI":"10.1007\/s10472-005-7030-5","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T07:41:11Z","timestamp":1126770071000},"page":"309-339","source":"Crossref","is-referenced-by-count":2,"title":["Logic programming with infinite sets"],"prefix":"10.1007","volume":"44","author":[{"given":"Douglas","family":"Cenzer","sequence":"first","affiliation":[]},{"given":"Jeffrey B","family":"Remmel","sequence":"additional","affiliation":[]},{"given":"Victor W.","family":"Marek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17030_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-45402-0_32","volume-title":"Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"C. Anger","year":"2001","unstructured":"C. Anger, K. Konczak and T. Linke, NoMoRe: A system for nonmonotonic reasoning under answer set semantics, in: Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Computer Science, Vol. 2173 (Springer, New York, 2001) pp. 406\u2013410."},{"key":"17030_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1990-13103","volume":"12","author":"K. Apt","year":"1990","unstructured":"K. Apt and H.A. Blair, Arithmetical classification of perfect models of stratified programs, Fundamenta Informaticae 12 (1990) 1\u201317.","journal-title":"Fundamenta Informaticae"},{"key":"17030_CR3","unstructured":"Y. Babovich and V. Lifschitz, Cmodels, http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html (2002)."},{"key":"17030_CR4","doi-asserted-by":"crossref","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving (Cambridge Univ. Press, Cambridge, 2003).","DOI":"10.1017\/CBO9780511543357"},{"issue":"2","key":"17030_CR5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF01534455","volume":"15","author":"H.A. Blair","year":"1995","unstructured":"H.A. Blair, V.W. Marek and J. Schlipf, The expressiveness of locally stratified programs, Annals of Mathematics and Artificial Intelligence 15(2) (1995) 209\u2013229.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17030_CR6","first-page":"603","volume-title":"Proc. of the 17th International Joint Conference on Artificial Intelligence","author":"P.A. Bonatti","year":"2001","unstructured":"P.A. Bonatti, Reasoning with infinite stable models, in: Proc. of the 17th International Joint Conference on Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 2001) pp. 603\u2013610."},{"key":"17030_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-45402-0_34","volume-title":"Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"P.A. Bonatti","year":"2001","unstructured":"P.A. Bonatti, Prototypes for Reasoning with Infinite Stable Models and Function Symbols, in: Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Computer Science, Vol. 2173 (Springer, New York, 2001) pp. 416\u2013419."},{"issue":"1","key":"17030_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.artint.2004.02.001","volume":"156","author":"P.A. Bonatti","year":"2004","unstructured":"P.A. Bonatti, Reasoning with infinite stable models, Artificial Intelligence 156(1) (2004) 75\u2013111.","journal-title":"Artificial Intelligence"},{"key":"17030_CR9","first-page":"647","volume-title":"Proc. of 11th Conference on Logic Programming","author":"P. Bruscoli","year":"1994","unstructured":"P. Bruscoli, A. Dovier, E. Pontelli and G. Rossi, Compiling intensional sets in CLP, in: Proc. of 11th Conference on Logic Programming (MIT Press, Cambridge, MA, 1994) pp. 647\u2013661."},{"key":"17030_CR10","unstructured":"D. Cenzer, V.W. Marek and J.B. Remmel, Using logic programs to reason about infinite sets, in: Proc. of the Symposium on Mathematics and Artificial Intelligence; available at http:rutcor.rutgers.edu\/~amai\/aimath04."},{"key":"17030_CR11","unstructured":"D. Cenzer, V.W. Marek and J.B. Remmel, Compactness property for logic programs, forthcoming."},{"key":"17030_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0168-0072(97)00052-3","volume":"93","author":"D. Cenzer","year":"1998","unstructured":"D. Cenzer and J.B. Remmel, Index sets for \u03a010 classes, Annals of Pure and Applied Logic 93 (1998) 3\u201361.","journal-title":"Annals of Pure and Applied Logic"},{"key":"17030_CR13","first-page":"623","volume-title":"Handbook of Recursive Mathematics","author":"D. Cenzer","year":"1999","unstructured":"D. Cenzer and J.B. Remmel, \u03a010 classes in mathematics, in: Handbook of Recursive Mathematics, (Elsevier, Amsterdam, 1999) pp. 623\u2013821."},{"key":"17030_CR14","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1023\/B:AMAI.0000012868.41613.e7","volume":"40","author":"D. Cenzer","year":"2004","unstructured":"D. Cenzer, J.B. Remmel and A. Vanderbilt, Locally determined logic programs and recursive stable models, Annals of Mathematics and Artificial Intelligence 40 (2004) 225\u2013262.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17030_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/BFb0022275","volume-title":"Proc. of Computer Science Logic Conference, CSL\u201994","author":"P. Cholewi\u0144ski","year":"1995","unstructured":"P. Cholewi\u0144ski, Stratified default theories, in: Proc. of Computer Science Logic Conference, CSL\u201994, Lecture Notes in Computer Science, Vol. 933 (Springer, New York, 1995) pp. 456\u2013470."},{"key":"17030_CR16","first-page":"111","volume-title":"Proc. of the 8th International Conference on Logic Programming","author":"A. Dovier","year":"1991","unstructured":"A. Dovier, E.G. Omodeo, E. Pontelli and G. Rossi, A logic programming language with finite sets, in: Proc. of the 8th International Conference on Logic Programming (MIT Press, Cambridge, MA, 1991) pp. 111\u2013124."},{"issue":"1","key":"17030_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(95)00147-6","volume":"28","author":"A. Dovier","year":"1996","unstructured":"A. Dovier, E.G. Omodeo, E. Pontelli and G. Rossi, Flogg: A language for programming in logic with finite sets, Journal of Logic Programming 28(1) (1996) 1\u201344.","journal-title":"Journal of Logic Programming"},{"key":"17030_CR18","series-title":"Lecture Notes on Computer Science","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/978-3-540-24599-5_20","volume-title":"Proc. of International Conference on Logic Programming","author":"A. Dovier","year":"2003","unstructured":"A. Dovier, E. Pontelli and G. Rossi, Checked intensional sets in CLP, in: Proc. of International Conference on Logic Programming, Lecture Notes on Computer Science, Vol. 2916 (Springer, New York, 2003) pp. 284\u2013299."},{"key":"17030_CR19","series-title":"Lecture Notes in Computer Science","first-page":"290","volume-title":"Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, G. Gottlob and H. Veith, Modular logic programs and general quantifiers, in: Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Computer Science, Vol. 1265 (Springer, New York, 1997) pp. 290\u2013309."},{"key":"17030_CR20","first-page":"406","volume-title":"Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98)","author":"T. Eiter","year":"1998","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, The KR system dlv: Progress report,comparisons, and benchmarks, in: Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98) (Morgan Kaufmann, San Mateo, CA, 1998)pp. 406\u2013417."},{"key":"17030_CR21","first-page":"1070","volume-title":"Proc. of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz, The stable semantics for logic programs, in: Proc. of the 5th International Conference on Logic Programming (MIT Press, Cambridge, MA, 1988) pp. 1070\u20131080."},{"key":"17030_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"M. Gelfond and N. Leone, Logic Programming and Knowledge Representation \u2013 A-Prolog perspective, Artificial Intelligence Journal 138 (2002) 3\u201338.","journal-title":"Artificial Intelligence Journal"},{"key":"17030_CR23","doi-asserted-by":"crossref","unstructured":"E. Goldberg and Y. Novikov, BerkMin: A fast and robust SAT-solver, in: Proc. of Conference on Design, Automation and Test in Europe (2002) pp. 142\u2013149.","DOI":"10.1109\/DATE.2002.998262"},{"key":"17030_CR24","doi-asserted-by":"crossref","volume-title":"Recursion-Theoretic Hierarchies","author":"P.G. Hinman","year":"1978","unstructured":"P.G. Hinman, Recursion-Theoretic Hierarchies (Springer, Berlin, 1978).","DOI":"10.1007\/978-3-662-12898-5"},{"issue":"20","key":"17030_CR25","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher, Constraint logic programming: A survey, Journal of Logic Programming 19(20) (1994) 503\u2013581.","journal-title":"Journal of Logic Programming"},{"key":"17030_CR26","doi-asserted-by":"crossref","volume-title":"Constraint Databases","author":"G.M. Kuper","year":"2000","unstructured":"G.M. Kuper, L. Libkin and J. Paradaens, Constraint Databases (Springer, Berlin, 2000).","DOI":"10.1007\/978-3-662-04031-7"},{"key":"17030_CR27","unstructured":"V. Lifschitz and H. Turner, Splitting a logic program, in: Proc. of International Conference on Logic Programming, ICLP\u201994 (1994) pp. 23\u201337."},{"key":"17030_CR28","first-page":"112","volume-title":"Proc. of the 18th National Conference on Artificial Intelligence","author":"F. Lin","year":"2002","unstructured":"F. Lin and Y. Zhao, ASSAT: Computing answer sets of a logic program by SAT solvers, in: Proc. of the 18th National Conference on Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 2002) pp. 112\u2013117."},{"issue":"3","key":"17030_CR29","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(14)80008-3","volume":"21","author":"W. Marek","year":"1994","unstructured":"W. Marek, A. Nerode and J.B. Remmel, The stable models of predicate logic programs, Journal of Logic Programming 21(3) (1994) 129\u2013154.","journal-title":"Journal of Logic Programming"},{"key":"17030_CR30","series-title":"Lecture Notes in Computer Science","first-page":"167","volume-title":"Proc. of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"V.W. Marek","year":"2004","unstructured":"V.W. Marek and J.B. Remmel, Set constraints in logic programming, in: Proc. of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Computer Science, Vol. 2923 (Springer, New York, 2004) pp. 167\u2013179."},{"key":"17030_CR31","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm","author":"V.W. Marek","year":"1999","unstructured":"V.W. Marek and M. Truszczynski, Stable models and an alternative logic programming paradigm, in: The Logic Programming Paradigm (Springer, Berlin, 1999) pp. 375\u2013398."},{"key":"17030_CR32","doi-asserted-by":"crossref","unstructured":"M.W. Moskewicz, C.F. Magidan, Y. Zhao, L. Zhang and S. Malik, Chaff: Engineering an efficient SAT solver, in: Proc. of Design Automation Conference (2001) pp. 530\u2013535.","DOI":"10.1145\/378239.379017"},{"key":"17030_CR33","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4, Logic programs with stable model semantics as a constraint programming paradigm, Annals of Mathematics and Artificial Intelligence 25 (1999) 241\u2013273.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17030_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-46767-X_23","volume-title":"Proc. of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4, P. Simons and T. Soininen, Stable model semantics of weight constraint rules, in: Proc. of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Computer Science, Vol. 1730 (Springer, New York, 1999) pp. 317\u2013331."},{"key":"17030_CR35","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/978-1-4615-1567-8_21","volume-title":"Logic-Based Artificial Intelligence","author":"I. Niemel\u00e4","year":"2000","unstructured":"I. Niemel\u00e4 and P. Simons, Extending the smodels system with cardinality and weight constraints, in: Logic-Based Artificial Intelligence (Kluwer Academic, Dordrecht, 2000) pp. 491\u2013521."},{"key":"17030_CR36","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"P. Simons, I. Niemel\u00e4 and T. Soininen, Extending and implementing the stable model semantics, Artificial Intelligence 138 (2002) 181\u2013234.","journal-title":"Artificial Intelligence"},{"key":"17030_CR37","doi-asserted-by":"crossref","volume-title":"Recursively Enumerable Sets and Degrees","author":"R.I. Soare","year":"1987","unstructured":"R.I. Soare, Recursively Enumerable Sets and Degrees (Springer, Berlin, 1987).","DOI":"10.1007\/978-3-662-02460-7"},{"key":"17030_CR38","first-page":"97","volume-title":"Infinitistic Methods","author":"C. Spector","year":"1961","unstructured":"C. Spector, Inductively defined sets of natural numbers, in: Infinitistic Methods (Pergamon Press, New York, 1961) pp. 97\u2013102."},{"key":"17030_CR39","unstructured":"T. Syrj\u00e4nen, Manual of Lparse version 1.0, http:\/\/saturn.tcs.hut.fi\/Software\/smodels"},{"key":"17030_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-45402-0_20","volume-title":"Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"T. Syrj\u00e4nen, Omega-restricted logic programs, in: Proc. of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Computer Science, Vol. 2173 (Springer, New York, 2001) pp. 267\u2013279."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-005-7030-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-005-7030-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-005-7030-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,17]],"date-time":"2021-07-17T15:11:24Z","timestamp":1626534684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-005-7030-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["17030"],"URL":"http:\/\/dx.doi.org\/10.1007\/s10472-005-7030-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":["Applied Mathematics","Artificial Intelligence"],"published":{"date-parts":[[2005,8]]}}}