{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T13:10:13Z","timestamp":1769605813440,"version":"3.49.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"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":[[2008,8]]},"DOI":"10.1007\/s10472-009-9116-y","type":"journal-article","created":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T06:29:07Z","timestamp":1235716147000},"page":"251-287","source":"Crossref","is-referenced-by-count":58,"title":["Integrating answer set programming and constraint logic programming"],"prefix":"10.1007","volume":"53","author":[{"given":"Veena S.","family":"Mellarkod","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"Yuanlin","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,2,28]]},"reference":[{"issue":"3,4","key":"9116_CR1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K. Apt","year":"1991","unstructured":"Apt, K., Bezem, M.: Acyclic programs. New Gener. Comput. 9(3,4), 335\u2013365 (1991)","journal-title":"New Gener. Comput."},{"key":"9116_CR2","unstructured":"Babovich, Y., Maratea, M.: Cmodels-2: SAT-based answer set solver enhanced to non-tight programs. In: International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR-05, January (2004)"},{"key":"9116_CR3","doi-asserted-by":"crossref","unstructured":"Balduccini, M.: USA-Smart: improving the quality of plans in answer set planning. In: PADL\u201904, Lecture Notes in Artificial Intelligence (LNCS), June (2004)","DOI":"10.1007\/978-3-540-24836-1_10"},{"key":"9116_CR4","first-page":"18","volume-title":"Proceedings of the 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR\u201907). Lecture Notes in Artificial Intelligence, vol. 3662","author":"M. Balduccini","year":"2007","unstructured":"Balduccini, M.: CR-MODELS: an inference engine for CR-Prolog. In: Baral, C., Brewka, G., Schlipf, J. (eds.) Proceedings of the 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR\u201907). Lecture Notes in Artificial Intelligence, vol. 3662, pp. 18\u201330. Springer, Berlin (2007)","edition":"3662"},{"key":"9116_CR5","unstructured":"Balduccini, M., Gelfond, M.: Logic programs with consistency-restoring rules. In: Doherty, P., McCarthy, J., Williams, M.-A. (eds.) International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pp. 9\u201318, March (2003)"},{"key":"9116_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10472-006-9026-1","volume":"47","author":"M. Balduccini","year":"2006","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M.: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47, 183\u2013219 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9116_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning, and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge (January 2003)"},{"key":"9116_CR8","doi-asserted-by":"crossref","unstructured":"Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about cell signalling networks. In: Proceedings of European Conference on Computational Biology, Supplement on Bioinformatics, pp. 15\u201322 (2004)","DOI":"10.1093\/bioinformatics\/bth918"},{"key":"9116_CR9","doi-asserted-by":"crossref","unstructured":"Baselice, S., Bonatti, P.A., Gelfond, M.: Towards an integration of answer set and constraint solving. In: Proceedings of ICLP-05, pp. 52\u201366 (2005)","DOI":"10.1007\/11562931_7"},{"key":"9116_CR10","doi-asserted-by":"crossref","unstructured":"Brooks, D. R., Erdem, E., Minett, J. W., Ringe, D.: Character-based cladistics and answer set programming. In: Proceedings of International Symposium on Practical Aspects of Declarative Languages, pp. 37\u201351 (2005)","DOI":"10.1007\/978-3-540-30557-6_5"},{"key":"9116_CR11","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Adding weak constraints to disjunctive datalog. In: Proceedings of the 1997 Joint Conference on Declarative Programming APPIA-GULP-PRODE\u201997 (1997)","DOI":"10.1007\/3-540-63255-7_2"},{"issue":"3","key":"9116_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. Chen","year":"1995","unstructured":"Chen, W., Swift, T., Warren, D.S.: Efficient top-down computation of queries under the well-founded semantics. J. Log. Program. 24(3), 161\u2013201 (1995)","journal-title":"J. Log. Program."},{"key":"9116_CR13","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum, New York (1978)"},{"key":"9116_CR14","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: Proceedings of AAAI07, pp. 1622\u20131625 (2007)"},{"key":"9116_CR15","first-page":"363","volume-title":"International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR97, LNAI, vol. 1265","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for nonmonotonic reasoning. In: International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR97, LNAI, vol. 1265, pp. 363\u2013374. Springer, Berlin (1997)"},{"key":"9116_CR16","doi-asserted-by":"crossref","unstructured":"Elkabani, I., Pontelli, E., Son, T.C.: Smodelsa\u2014a system for computing answer sets of logic programs with aggregates. In: LPNMR, pp. 427\u2013431 (2005)","DOI":"10.1007\/11546207_40"},{"key":"9116_CR17","first-page":"136","volume-title":"Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201907). lnai, vol. 3662","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufman, B., Neumann, A., Schaub, T.: Conflict-driven answer set enumeration. In: Baral, C., Brewka, G., Schlipf, J. (eds.) Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201907). lnai, vol. 3662, pp. 136\u2013148. Springer, Berlin (2007)"},{"key":"9116_CR18","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP-88, pp. 1070\u20131080 (1988)"},{"issue":"3\/4","key":"9116_CR19","doi-asserted-by":"crossref","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 Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"9116_CR20","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10817-006-9033-2","volume":"36","author":"E. Giunchiglia","year":"2006","unstructured":"Giunchiglia, E., Lierler, Y., Maratea, M.: Answer set programming based on propositional satisfiability. J. Autom. Reason. 36, 345\u2013377 (2006)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"9116_CR21","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) language and system. ACM Trans. Program. Lang. Syst. 14(3), 339\u2013395 (1992)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9116_CR22","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming. J. Log. Program. 19\/20, 503\u2013581 (1994)","journal-title":"J. Log. Program."},{"key":"9116_CR23","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7, 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"9116_CR24","first-page":"23","volume-title":"Proceedings of the Eleventh International Conference on Logic Programming","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of the Eleventh International Conference on Logic Programming, pp. 23\u201337. MIT Press, Cambridge, MA, USA (1994)"},{"issue":"1\u20132","key":"9116_CR25","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1\u20132), 115\u2013137 (2004)","journal-title":"Artif. Intell."},{"key":"9116_CR26","doi-asserted-by":"crossref","unstructured":"Liu, L., Pontelli, E., Son, T.C., Truszczynski, M.: Logic programs with abstract constraint atoms: the role of computations. In: Proceedings of ICLP-07, pp. 286\u2013301 (2007)","DOI":"10.1007\/978-3-540-74610-2_20"},{"key":"9116_CR27","volume-title":"Nonmonotonic Logics; Context Dependent Reasoning","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W., Truszczynski, M.: Nonmonotonic Logics; Context Dependent Reasoning. Springer, Berlin (1993)"},{"key":"9116_CR28","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"Stable Models and an Alternative Logic Programming Paradigm","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczynski, M.: Stable Models and an Alternative Logic Programming Paradigm, pp. 375\u2013398. The Logic Programming Paradigm: a 25-Year Perspective. Springer, Berlin (1999)"},{"key":"9116_CR29","unstructured":"Marek, V.W., Truszczynski, M.: Logic programs with abstract constraint atoms. In: Proceedings of AAAI04, pp. 86\u201391 (2004)"},{"key":"9116_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. MIT, Cambridge, MA (1998)"},{"key":"9116_CR31","unstructured":"Mellarkod, V.S.: Integrating ASP and CLP systems: computing answer sets from partially ground programs. Ph.D. thesis, Texas Tech University December (2007)"},{"key":"9116_CR32","doi-asserted-by":"crossref","unstructured":"Mellarkod, V.S., Gelfond, M.: Enhancing asp systems for planning with temporal constraints. In: LPNMR 2007, pp. 309\u2013314, May (2007)","DOI":"10.1007\/978-3-540-72200-7_31"},{"issue":"3\u20134","key":"9116_CR33","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemela","year":"1999","unstructured":"Niemela, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9116_CR34","doi-asserted-by":"crossref","unstructured":"Niemela, I., Simons, P.: Smodels\u2014an 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 (LPNMR\u201997). Lecture Notes in Artificial Intelligence (LNCS), vol. 1265, pp. 420\u2013429 (1997)","DOI":"10.1007\/3-540-63255-7_32"},{"issue":"1\u20132","key":"9116_CR35","first-page":"181","volume":"138","author":"I. Niemela","year":"2002","unstructured":"Niemela, I., Simons, P., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u20132340 June (2002)","journal-title":"Artif. Intell."},{"issue":"3","key":"9116_CR36","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/PL00009261","volume":"23","author":"G. Ramalingam","year":"1999","unstructured":"Ramalingam, G., Song, J., Joskowicz, L., Miller, R.E.: Solving systems of difference constraints incrementally. Algorithmica 23(3), 261\u2013275 (1999)","journal-title":"Algorithmica"},{"key":"9116_CR37","unstructured":"SICStus Prolog. SICStus Prolog User\u2019s Manual Version 4. http:\/\/www.sics.se\/isl\/sicstuswww\/site\/index.html (2007)"},{"key":"9116_CR38","unstructured":"Simons, P.: Extending and implementing the stable model semantics. Research Report A58, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland. Doctoral dissertation April (2000)"},{"key":"9116_CR39","doi-asserted-by":"crossref","unstructured":"Soininen, T., Niemella, I.: Developing a declarative rule language for applications in product configuration. In: Proceedings of International Symposium on Practical Aspects of Declarative Languages, pp. 305\u2013319 (1998)","DOI":"10.1007\/3-540-49201-1_21"},{"key":"9116_CR40","doi-asserted-by":"crossref","unstructured":"Stuckey, P.J.: Constructive negation for constraint logic programming. In: LICS, pp. 328\u2013339 (1991)","DOI":"10.1109\/LICS.1991.151657"},{"key":"9116_CR41","unstructured":"Syrjanen, T.: Implementation of logical grounding for logic programs with stable model semantics. Technical Report 18, Digital Systems Laboratory, Helsinki University of Technology (1998)"},{"key":"9116_CR42","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT, Cambridge, MA (1989)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9116-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9116-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9116-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T17:51:51Z","timestamp":1559152311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9116-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":42,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9116"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9116-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}