{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T21:28:54Z","timestamp":1789939734754,"version":"4.0.1"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"12","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2011,12]]},"abstract":"<jats:p>The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.<\/jats:p>","DOI":"10.1145\/2043174.2043195","type":"journal-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:54:36Z","timestamp":1321887276000},"page":"92-103","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":657,"title":["Answer set programming at a glance"],"prefix":"10.1145","volume":"54","author":[{"given":"Gerhard","family":"Brewka","sequence":"first","affiliation":[{"name":"University of Leipzig's Informatics Institute, Leipzig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[{"name":"Vienna Univ. of Technology's Institute of Information Systems, Vienna, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[{"name":"University of Kentucky's, Lexington, KY"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,12]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/582493"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003645"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106840900372X"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000530"},{"key":"e_1_2_1_5_1","volume-title":"Proc. 3rd International Workshop on Answer Set Programming, CEUR Workshop Proceedings 142","author":"Brain M.","year":"2005","unstructured":"Brain , M. and Vos , M.D . Debugging logic programs under the answer set semantics . In Proc. 3rd International Workshop on Answer Set Programming, CEUR Workshop Proceedings 142 , 2005 . M. De Vos and A. Provetti, Eds. Brain, M. and Vos, M.D. Debugging logic programs under the answer set semantics. In Proc. 3rd International Workshop on Answer Set Programming, CEUR Workshop Proceedings 142, 2005. M. De Vos and A. Provetti, Eds."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1630659.1630784"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000396"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_37"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_16"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01536399"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1642293.1642308"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656242.1656249"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2001078.2001106"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003323"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.011"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.8"},{"key":"e_1_2_1_19_1","volume-title":"Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning. F. Lin, U. Sattler, and M. Truszczynski, Eds.","author":"Gebser M.","year":"2010","unstructured":"Gebser , M. , Guziolowski , C. , Ivanchev , M. , Schaub , T. , Siegel , A. , Thiele , S. and Veber , P . Repair and prediction (under inconsistency) in large biological networks with answer set programming . In Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning. F. Lin, U. Sattler, and M. Truszczynski, Eds. , 2010 , 497--507. Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S. and Veber, P. Repair and prediction (under inconsistency) in large biological networks with answer set programming. In Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning. F. Lin, U. Sattler, and M. Truszczynski, Eds., 2010, 497--507."},{"key":"e_1_2_1_20_1","volume-title":"Logic Programming: The 5th International Conference and Symposium. R.A. Kowalski and K. Bowen, Eds. MIT Press","author":"Gelfond M.","year":"1988","unstructured":"Gelfond , M. and Lifschitz , V . The stable model semantics for logic programming . Logic Programming: The 5th International Conference and Symposium. R.A. Kowalski and K. Bowen, Eds. MIT Press , Cambridge, MA , 1988 , 1070--1080, Gelfond, M. and Lifschitz, V. The stable model semantics for logic programming. Logic Programming: The 5th International Conference and Symposium. R.A. Kowalski and K. Bowen, Eds. MIT Press, Cambridge, MA, 1988, 1070--1080,"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409990251"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1641503.1641522"},{"key":"e_1_2_1_24_1","first-page":"363","article-title":"Planning as satisfiability. In Proc. 10th European Conference on Artificial Intelligence. B. Neumann","volume":"359","author":"Kautz H.A.","year":"1992","unstructured":"Kautz , H.A. and Selman , B . Planning as satisfiability. In Proc. 10th European Conference on Artificial Intelligence. B. Neumann , Ed . 1992 , 359 -- 363 . Kautz, H.A. and Selman, B. Planning as satisfiability. In Proc. 10th European Conference on Artificial Intelligence. B. Neumann, Ed. 1992, 359--363.","journal-title":"Ed"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2630"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383783"},{"key":"e_1_2_1_28_1","volume-title":"Proc'18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence","author":"Lin F.","year":"2002","unstructured":"Lin , F. and Zhao , Y . ASSAT: Computing answer sets of a logic program by SAT solvers . In Proc'18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence , 2002 , 112--117. Lin, F. and Zhao, Y. ASSAT: Computing answer sets of a logic program by SAT solvers. In Proc'18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence, 2002, 112--117."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116836"},{"key":"e_1_2_1_30_1","volume-title":"Eds. Springer","author":"Marek V.W.","year":"1999","unstructured":"Marek , V.W. and Truszczy\u0144ski , M . Stable models and an alternative logic programming paradigm. The Logic Programming Paradigm---A 25-Year Perspective. K. Apt, K.V. V.W. Marek, M.W. Truszczy\u0144ski and D.S. Warren , Eds. Springer , 1999 , 375--398. Marek, V.W. and Truszczy\u0144ski, M. Stable models and an alternative logic programming paradigm. The Logic Programming Paradigm---A 25-Year Perspective. K. Apt, K.V. V.W. Marek, M.W. Truszczy\u0144ski and D.S. Warren, Eds. Springer, 1999, 375--398."},{"key":"e_1_2_1_31_1","volume-title":"Nonmonotonic Logics - Context-Dependent Reasoning","author":"Marek V.W.","year":"1993","unstructured":"Marek , V.W. and Truszczy\u0144ski , M . Nonmonotonic Logics - Context-Dependent Reasoning . Springer , 1993 . Marek, V.W. and Truszczy\u0144ski, M. Nonmonotonic Logics - Context-Dependent Reasoning. Springer, 1993."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9118-9"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_12"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9028-z"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30227-8_15"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242679"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841100007X"},{"key":"e_1_2_1_39_1","volume-title":"Proc. 1st International Workshop on Practical Aspects of Declarative Languages, LNCS 1551","author":"Soininen T.","year":"1999","unstructured":"Soininen , T. and Niemel\u00e4 , I . Developing a declarative rule language for applications in product configuration . In Proc. 1st International Workshop on Practical Aspects of Declarative Languages, LNCS 1551 . G. Gupta, Ed. Springer , 1999 , 305--319. Soininen, T. and Niemel\u00e4, I. Developing a declarative rule language for applications in product configuration. In Proc. 1st International Workshop on Practical Aspects of Declarative Languages, LNCS 1551. G. Gupta, Ed. Springer, 1999, 305--319."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003250"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043174.2043195","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043174.2043195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:38Z","timestamp":1750226078000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043174.2043195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":40,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["10.1145\/2043174.2043195"],"URL":"https:\/\/doi.org\/10.1145\/2043174.2043195","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"2011-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}