{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:39Z","timestamp":1725536919427},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"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_49","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"502-508","source":"Crossref","is-referenced-by-count":15,"title":["On the Input Language of ASP Grounder Gringo"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[]},{"given":"Roland","family":"Kaminski","sequence":"additional","affiliation":[]},{"given":"Max","family":"Ostrowski","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Thiele","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","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)"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczy\u0144ski, M.: The first answer set programming system competition. In: [25], pp. 3\u201317","DOI":"10.1007\/978-3-540-72200-7_3"},{"key":"49_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1006\/jcss.1995.1053","volume":"51","author":"J. Schlipf","year":"1995","unstructured":"Schlipf, J.: The expressive powers of the logic programming semantics. Journal of Computer and System Sciences\u00a051, 64\u201386 (1995)","journal-title":"Journal of Computer and System Sciences"},{"key":"49_CR4","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: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"issue":"3-4","key":"49_CR5","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 programs 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"},{"issue":"1-2","key":"49_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation \u2014 the A-Prolog perspective. Artificial Intelligence\u00a0138(1-2), 3\u201338 (2002)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"49_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138(1-2), 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"49_CR8","doi-asserted-by":"publisher","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 Transactions on Computational Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"49_CR9","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 user\u2019s manual, http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz"},{"key":"49_CR10","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo, http:\/\/potassco.sourceforge.net"},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: A new grounder for answer set programming. In: [25], pp. 266\u2013271","DOI":"10.1007\/978-3-540-72200-7_24"},{"key":"49_CR12","series-title":"Lecture Notes in Artificial Intelligence","first-page":"267","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T.: Omega-restricted logic programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 267\u2013279. Springer, Heidelberg (2001)"},{"issue":"5-6","key":"49_CR13","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1017\/S1471068408003323","volume":"8","author":"W. Faber","year":"2008","unstructured":"Faber, W., Pfeifer, G., Leone, N., Dell\u2019Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the DLV system. Theory and Practice of Logic Programming\u00a08(5-6), 545\u2013580 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"49_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11546207_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P.: Answer sets for propositional theories. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"49_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"49_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/S1471068403001923","volume":"5","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. Theory and Practice of Logic Programming\u00a05(1-2), 45\u201374 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"49_CR17","unstructured":"Terracina, G., De Francesco, E., Panetta, C., Leone, N.: Experiencing ASP with real world applications. In: Proceedings of the Fifteenth RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 (2008)"},{"key":"49_CR18","unstructured":"Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T., Thiele, S.: A versatile intermediate language for answer set programming. In: Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (NMR 2008), pp. 150\u2013159 (2008)"},{"key":"49_CR19","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: [26], pp. 190\u2013205","DOI":"10.1007\/978-3-540-89982-2_23"},{"key":"49_CR20","doi-asserted-by":"crossref","unstructured":"Mileo, A., Merico, D., Bisiani, R.: A logic programming approach to home monitoring for risk prevention in assisted living. In: [26], pp. 145\u2013159","DOI":"10.1007\/978-3-540-89982-2_20"},{"key":"49_CR21","doi-asserted-by":"crossref","unstructured":"Boenn, G., Brain, M., de Vos, M., Fitch, J.: Automatic composition of melodic and harmonic music by answer set programming. In: [26], pp. 160\u2013174","DOI":"10.1007\/978-3-540-89982-2_21"},{"key":"49_CR22","doi-asserted-by":"crossref","unstructured":"Gebser, M., Schaub, T., Thiele, S., Usadel, B., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. In: [26], pp. 130\u2013144","DOI":"10.1007\/978-3-540-89982-2_19"},{"key":"49_CR23","volume-title":"Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009)","author":"T. Kim","year":"2009","unstructured":"Kim, T., Lee, J., Palla, R.: Circumscriptive event calculus as answer set programming. In: Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009). AAAI Press, Menlo Park (to appear, 2009)"},{"key":"49_CR24","volume-title":"Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP 2009)","author":"M. Thielscher","year":"2009","unstructured":"Thielscher, M.: Answer set programming for single-player games in general game playing. In: Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP 2009). Springer, Heidelberg (to appear, 2009)"},{"key":"49_CR25","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"2007","unstructured":"Baral, C., Brewka, G., Schlipf, J. (eds.): LPNMR 2007. LNCS (LNAI), vol.\u00a04483. Springer, Heidelberg (2007)"},{"key":"49_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","year":"2008","unstructured":"Garcia de la Banda, M., Pontelli, E. (eds.): ICLP 2008. LNCS, vol.\u00a05366. Springer, Heidelberg (2008)"}],"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_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:36:41Z","timestamp":1558499801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}