{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T21:07:25Z","timestamp":1781384845077,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642042379","type":"print"},{"value":"9783642042386","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_75","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"637-654","source":"Crossref","is-referenced-by-count":48,"title":["The Second Answer Set Programming Competition"],"prefix":"10.1007","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Bond","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Gebser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"75_CR1","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, Heidelberg (1999)"},{"issue":"3-4","key":"75_CR2","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":"75_CR3","doi-asserted-by":"publisher","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 (2003)"},{"issue":"3-4","key":"75_CR4","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(3-4), 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"75_CR5","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un systeme de communication homme-machine en Francais. Technical report, University of Marseille (1973)"},{"key":"75_CR6","first-page":"569","volume-title":"Proceedings of the Congress of the International Federation for Information Processing","author":"R. Kowalski","year":"1974","unstructured":"Kowalski, R.: Predicate logic as a programming language. In: Rosenfeld, J. (ed.) Proceedings of the Congress of the International Federation for Information Processing, pp. 569\u2013574. North Holland, Amsterdam (1974)"},{"issue":"1-2","key":"75_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription \u2014 a form of nonmonotonic reasoning. Artificial Intelligence\u00a013(1-2), 27\u201339 (1980)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"75_CR8","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"},{"key":"75_CR9","first-page":"1070","volume-title":"Proceedings of the International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"75_CR10","first-page":"364","volume-title":"Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for non-monotonic reasoning. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 364\u2013375. Springer, Heidelberg (1997)"},{"key":"75_CR11","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2014 an implementation of the stable model and well-founded semantics for normal logic programs. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"75_CR12","first-page":"23","volume-title":"Proceedings of the International Conference on Logic Programming","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer Set Planning. In: De Schreye, D. (ed.) Proceedings of the International Conference on Logic Programming, pp. 23\u201337. MIT Press, Cambridge (1999)"},{"key":"75_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-24609-1_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Borchert","year":"2004","unstructured":"Borchert, P., Anger, C., Schaub, T., Truszczy\u0144ski, M.: Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 3\u20137. Springer, Heidelberg (2004)"},{"key":"75_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-72200-7_3","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczy\u0144ski, M.: The first answer set programming system competition. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 3\u201317. Springer, Heidelberg (2007)"},{"key":"75_CR15","volume-title":"Handbook of Satisfiability","year":"2009","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. IOS Press, Amsterdam (2009)"},{"issue":"6","key":"75_CR16","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R. Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). Journal of the ACM\u00a053(6), 937\u2013977 (2006)","journal-title":"Journal of the ACM"},{"key":"75_CR17","volume-title":"Handbook of Constraint Programming","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"key":"75_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.C.: Abduction in Logic Programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 402\u2013436. Springer, Heidelberg (2002)"},{"key":"75_CR19","unstructured":"Mitchell, D., Ternovska, E.: A framework for representing and solving NP search problems. In: Veloso, M., Kambhampati, S. (eds.) Proceedings of the National Conference on Artificial Intelligence, pp. 430\u2013435. AAAI Press \/ MIT Press (2005)"},{"key":"75_CR20","first-page":"600","volume-title":"Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems","author":"A. Kakas","year":"1999","unstructured":"Kakas, A., Michael, A.: Air-Crew scheduling through abduction. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds.) Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 600\u2013611. Springer, Heidelberg (1999)"},{"key":"75_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-44404-1_15","volume-title":"Logic for Programming and Automated Reasoning","author":"N. Pelov","year":"2000","unstructured":"Pelov, N., De Mot, E., Denecker, M.: Logic programming approaches for representing and solving constraint satisfaction problems: A comparison. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 225\u2013239. Springer, Heidelberg (2000)"},{"key":"75_CR22","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)"},{"key":"75_CR23","unstructured":"http:\/\/asparagus.cs.uni-potsdam.de"},{"key":"75_CR24","unstructured":"http:\/\/www.cs.kuleuven.be\/~dtai\/events\/ASP-competition"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T11:51:19Z","timestamp":1552132279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}