{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:32Z","timestamp":1725582692170},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_44","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T00:40:34Z","timestamp":1303692034000},"page":"376-381","source":"Crossref","is-referenced-by-count":1,"title":["Compiling Answer Set Programs into Event-Driven Action Rules"],"prefix":"10.1007","author":[{"given":"Neng-Fa","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Yi-Dong","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A User\u2019s Guide to gringo, clasp, clingo and iclingo. Technical report, University of Potsdam (2008)","key":"44_CR1"},{"issue":"2","key":"44_CR2","first-page":"125","volume":"10","author":"S. Greco","year":"2010","unstructured":"Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: NP Datalog: A logic language for expressing search and optimization problems. TPLP\u00a010(2), 125\u2013166 (2010)","journal-title":"TPLP"},{"key":"44_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-04238-6_18","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Lef\u00e8vre","year":"2009","unstructured":"Lef\u00e8vre, C., Nicolas, P.: A first order forward chaining approach for answer set computing. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 196\u2013208. Springer, Heidelberg (2009)"},{"key":"44_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-74610-2_20","volume-title":"Logic Programming","author":"L. Liu","year":"2007","unstructured":"Liu, L., Pontelli, E., Son, T.C., Truszczy\u0144ski, M.: Logic programs with abstract constraint atoms: The role of computations. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 286\u2013301. Springer, Heidelberg (2007)"},{"key":"44_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-02846-5_14","volume-title":"Logic Programming","author":"A. Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: Answer set programming with constraints using lazy grounding. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 115\u2013129. Springer, Heidelberg (2009)"},{"issue":"5","key":"44_CR6","first-page":"483","volume":"6","author":"N.-F. Zhou","year":"2006","unstructured":"Zhou, N.-F.: Programming finite-domain constraint propagators in action rules. TPLP\u00a06(5), 483\u2013508 (2006)","journal-title":"TPLP"}],"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-20895-9_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:15:25Z","timestamp":1558574125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}