{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T14:50:26Z","timestamp":1783522226056,"version":"3.55.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1023\/a:1018930122475","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"241-273","source":"Crossref","is-referenced-by-count":460,"title":["Logic programs with stable model semantics as a constraint programming paradigm"],"prefix":"10.1007","volume":"25","author":[{"given":"Ilkka","family":"Niemel\u00e4","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"325525_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, Los Altos, 1988) pp. 89-148."},{"issue":"6","key":"325525_CR2","doi-asserted-by":"publisher","first-page":"1178","DOI":"10.1145\/195613.195637","volume":"41","author":"C. Bell","year":"1994","unstructured":"C. Bell, A. Nerode, R.T. Ng and V.S. Subrahmanian, Mixed integer programming methods for computing nonmonotonic deductive databases, Journal of the ACM 41(6) (1994) 1178-1215.","journal-title":"Journal of the ACM"},{"key":"325525_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A.L. Blum","year":"1997","unstructured":"A.L. Blum and M.L. Furst, Fast planning through planning graph analysis, Artificial Intelligence 90 (1997) 281-300.","journal-title":"Artificial Intelligence"},{"key":"325525_CR4","unstructured":"T. Bylander, Complexity results for planning, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia (Morgan Kaufmann, 1991) pp. 274-279."},{"key":"325525_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(97)00108-4","volume":"1\u20132","author":"M. Cadoli","year":"1998","unstructured":"M. Cadoli and L. Palopoli, Circumscribing DATALOG: Expressive power and complexity, Theor. Comput. Sci. 1\u20132 (1998) 215-244.","journal-title":"Theor. Comput. Sci."},{"key":"325525_CR6","doi-asserted-by":"crossref","unstructured":"M. Cadoli, L. Palopoli, A. Schaerf and D. Vasile, NP-SPEC: An executable specification language for solving all problems in NP, in: Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, San Antonio, TX, January 1999 (Springer, 1999) pp. 16-30.","DOI":"10.1007\/3-540-49201-1_2"},{"issue":"5","key":"325525_CR7","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/69.542027","volume":"8","author":"W. Chen","year":"1996","unstructured":"W. Chen and D.S. Warren, Computation of stable models and its integration with logical query processing, IEEE Trans. Knowledge Data Engrg. 8(5) (1996) 742-757.","journal-title":"IEEE Trans. Knowledge Data Engrg."},{"issue":"1","key":"325525_CR8","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D.S. Warren, Tabled evaluation with delaying for general logic programs, Journal of the ACM 43(1) (1996) 20-74.","journal-title":"Journal of the ACM"},{"key":"325525_CR9","doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski, Towards programming in default logic, in: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, Zakopane, Poland, June 1996 (Springer, 1996) pp. 223-232.","DOI":"10.1007\/3-540-61286-6_147"},{"key":"325525_CR10","doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski, V.W. Marek, A. Mikitiuk and M. Truszczy\u0144ski, Experimenting with nonmonotonic reasoning, in: Proceedings of the 12th International Conference on Logic Programming, Tokyo (June 1995) pp. 267-281.","DOI":"10.7551\/mitpress\/4298.003.0033"},{"key":"325525_CR11","unstructured":"P. Cholewi\u0144ski, V.W. Marek and M. Truszczy\u0144ski, Default reasoning system DeReS, in: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, November 1996 (Morgan Kaufmann, 1996) pp. 518-528."},{"issue":"1","key":"325525_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0004-3702(95)00046-1","volume":"81","author":"J.M. Crawford","year":"1996","unstructured":"J.M. Crawford and L.D. Auton, Experimental results on the crossover point in random 3-SAT, Artificial Intelligence 81(1) (1996) 31-57.","journal-title":"Artificial Intelligence"},{"key":"325525_CR13","doi-asserted-by":"crossref","unstructured":"Y. Dimopoulos, B. Nebel and J. Koehler, Encoding planning problems in non-monotonic logic programs, in: Proceedings of the Fourth European Conference on Planning, Toulouse, France, September 1997 (Springer, 1997) pp. 169-181.","DOI":"10.1007\/3-540-63912-8_84"},{"key":"325525_CR14","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"W.F. Dowling and J.H. Gallier, Linear-time algorithms for testing the satisfiability of propositional Horn formulae, J. Logic Programming 3 (1984) 267-284.","journal-title":"J. Logic Programming"},{"key":"325525_CR15","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarnello, The KR system dlv: Progress report, comparisons and benchmarks, in: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, June 1998 (Morgan Kaufmann, 1998) pp. 406-417."},{"key":"325525_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"C. Elkan, A rational reconstruction of nonmonotonic truth maintenance systems, Artificial Intelligence 43 (1990) 219-234.","journal-title":"Artificial Intelligence"},{"key":"325525_CR17","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of the 5th International Conference on Logic Programming, Seattle, August 1988 (MIT Press, Cambridge, MA, 1988) pp. 1070-1080."},{"key":"325525_CR18","first-page":"579","volume-title":"Proceedings of the 7th International Conference on Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"M. Gelfond and V. Lifschitz, Logic programs with classical negation, in: Proceedings of the 7th International Conference on Logic Programming, Jerusalem, Israel, June 1990 (MIT Press, Cambridge, MA, 1990) pp. 579-597."},{"key":"325525_CR19","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing actions and change by logic programs, J. Logic Programming 17 (1993) 301-322.","journal-title":"J. Logic Programming"},{"key":"325525_CR20","doi-asserted-by":"crossref","unstructured":"K. Heljanko, Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets, in: Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Amsterdam, The Netherlands, March 1999 (Springer, 1999) pp. 240-254.","DOI":"10.1007\/3-540-49059-0_17"},{"key":"325525_CR21","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez, Constraint logic programming, in: Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages, ed. M.J. O'Donnell, Munich, Germany, January 1987 (ACM Press, 1987) pp. 111-119.","DOI":"10.1145\/41625.41635"},{"key":"325525_CR22","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/3-540-63255-7_29","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning","author":"A.C. Kakas","year":"1997","unstructured":"A.C. Kakas and C. Mourlas, ACLP: Flexible solutions to complex problems, in: Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, Dagstuhl, Germany, July 1997 (Springer, Berlin, 1997) pp. 387-398."},{"key":"325525_CR23","unstructured":"D.E. Knuth, The Stanford GraphBase, 1993. Available at ftp:\/\/labrea.stanford.edu\/."},{"key":"325525_CR24","first-page":"5","volume-title":"Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"X. Liu","year":"1998","unstructured":"X. Liu, C.R. Ramakrishnan and S.A. Smolka, Fully local and efficient evaluation of alternating fixed points, in: Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ed. B. Steffen, Lisbon, Portugal, March\/April 1998 (Springer, Berlin, 1998) pp. 5-19."},{"key":"325525_CR25","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczy\u0144ski, Autoepistemic logic, Journal of the ACM 38 (1991) 588-619.","journal-title":"Journal of the ACM"},{"key":"325525_CR26","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski, Stable models and an alternative logic programming paradigm, in: The Logic Programming Paradigm: a 25-Year Perspective (Springer, 1999) pp. 375-398, to appear.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"325525_CR27","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1985) 75-94.","journal-title":"Artificial Intelligence"},{"key":"325525_CR28","unstructured":"I. Niemel\u00e4, Towards efficient default reasoning, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, August 1995 (Morgan Kaufmann, 1995) pp. 312-318."},{"key":"325525_CR29","first-page":"289","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"I. Niemel\u00e4","year":"1996","unstructured":"I. Niemel\u00e4 and P. Simons, Efficient implementation of the well-founded and stable model semantics, in: Proceedings of the Joint International Conference and Symposium on Logic Programming, ed. M. Maher, Bonn, Germany, September 1996 (MIT Press, Cambridge, MA, 1996) pp. 289-303."},{"key":"325525_CR30","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"I. Niemel\u00e4 and P. Simons, Smodels \u2014 an implementation of the stable model and well-founded semantics for normal logic programs, in: Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, Dagstuhl, Germany, July 1997 (Springer, Berlin, 1997) pp. 420-429."},{"key":"325525_CR31","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.","journal-title":"Artificial Intelligence"},{"key":"325525_CR32","first-page":"274","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"K. Sagonas","year":"1996","unstructured":"K. Sagonas, T. Swift and D.S. Warren, An abstract machine for computing the well-founded semantics, in: Proceedings of the Joint International Conference and Symposium on Logic Programming, ed. M. Maher, Bonn, Germany, September 1996 (MIT Press, Cambridge, MA, 1996) pp. 274-288."},{"key":"325525_CR33","series-title":"Research report","volume-title":"Towards constraint satisfaction through logic programs and the stable model semantics","author":"P. Simons","year":"1997","unstructured":"P. Simons, Towards constraint satisfaction through logic programs and the stable model semantics, Research report A47, Helsinki University of Technology, Helsinki, Finland (August 1997). Available at http:\/\/www.tcs.hut.fi\/pub\/reports\/A47.ps.gz."},{"issue":"3","key":"325525_CR34","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/69.390244","volume":"7","author":"V.S. Subrahmanian","year":"1995","unstructured":"V.S. Subrahmanian, D. Nau and C. Vago, WFS + branch and bound = stable models, IEEE Trans. Knowledge Data Engrg. 7(3) (1995) 362-377.","journal-title":"IEEE Trans. Knowledge Data Engrg."},{"key":"325525_CR35","series-title":"Technical report","volume-title":"Implementation of local grounding for logic programs with stable model semantics","author":"T. Syrj\u00e4nen","year":"1998","unstructured":"T. Syrj\u00e4nen, Implementation of local grounding for logic programs with stable model semantics, Technical report B18, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland (October 1998). Available at http:\/\/www.tcs.hut.fi\/pub\/reports\/B18.ps.gz."},{"key":"325525_CR36","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. van Emden","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM 23 (1976) 733-742.","journal-title":"Journal of the ACM"},{"issue":"3","key":"325525_CR37","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Van Gelder","year":"1991","unstructured":"A. Van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM 38(3) (1991) 620-650.","journal-title":"Journal of the ACM"},{"key":"325525_CR38","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0304-3975(96)00090-4","volume":"170","author":"J.-H. You","year":"1996","unstructured":"J.-H. You, R. Cartwright and M. Li, Iterative belief revision in extended logic programming, Theor. Comput. Sci. 170 (1996) 383-406.","journal-title":"Theor. Comput. Sci."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018930122475.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018930122475\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018930122475.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:06Z","timestamp":1747546926000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018930122475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":38,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["325525"],"URL":"https:\/\/doi.org\/10.1023\/a:1018930122475","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}