{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:53:01Z","timestamp":1771699981115,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642156748","type":"print"},{"value":"9783642156755","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_32","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"360-364","source":"Crossref","is-referenced-by-count":13,"title":["Coala: A Compiler from Action Languages to ASP"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Grote","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"32_CR1","first-page":"193","volume":"3","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence\u00a03(6), 193\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"32_CR2","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, Cambridge (2003)"},{"key":"32_CR3","volume-title":"Handbook of Satisfiability","author":"A. Biere","year":"2009","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. IOS, Amsterdam (2009)"},{"key":"32_CR4","first-page":"11","volume-title":"ICTAI 2008","author":"S. Dworschak","year":"2008","unstructured":"Dworschak, S., Grote, T., K\u00f6nig, A., Schaub, T., Veber, P.: The system BioC for reasoning about biological models in \n                    \n                      \n                    \n                    $\\mathcal{C}$\n                  . In: ICTAI 2008, pp. 11\u201318. IEEE, Los Alamitos (2008)"},{"issue":"1-2","key":"32_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10601-007-9031-y","volume":"13","author":"S. Dworschak","year":"2008","unstructured":"Dworschak, S., Grell, S., Nikiforova, V., Schaub, T., Selbig, J.: Modeling biological networks by action languages via ASP. Constraints\u00a013(1-2), 21\u201365 (2008)","journal-title":"Constraints"},{"key":"32_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-46767-X_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V., Turner, H.: Representing transition systems by logic programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 92\u2013106. Springer, Heidelberg (1999)"},{"issue":"1-2","key":"32_CR7","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"32_CR8","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/1183278.1183279","volume":"7","author":"T. Son","year":"2006","unstructured":"Son, T., Baral, C., Nam, T., McIlraith, S.: Domain-dependent knowledge in answer set planning. ACM Transactions on Computational Logic\u00a07(4), 613\u2013657 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"issue":"4-5","key":"32_CR10","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1017\/S1471068403001790","volume":"3","author":"K. Heljanko","year":"2003","unstructured":"Heljanko, K., Niemel\u00e4, I.: Bounded LTL model checking with stable models. Theory and Practice of Logic Programming\u00a03(4-5), 519\u2013550 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"32_CR11","unstructured":"http:\/\/potassco.sourceforge.net"},{"issue":"1-2","key":"32_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning. Artificial Intelligence\u00a0144(1-2), 157\u2013211 (2003)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T16:13:52Z","timestamp":1553098432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}