{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:16:45Z","timestamp":1743005805539,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_9","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"97-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Online Action Language $$o\\mathcal {BC}$$+"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Babb","sequence":"first","affiliation":[]},{"given":"Joohyung","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MIS.2009.125","volume":"24","author":"ED Valle","year":"2009","unstructured":"Valle, E.D., Ceri, S., van Harmelen, F., Fensel, D.: It\u2019s a streaming world! Reasoning upon rapidly changing information. IEEE Intell. Syst. 24(6), 83\u201389 (2009)","journal-title":"IEEE Intell. Syst."},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-20895-9_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. J. Artif. Intell. Res. 35, 813\u2013857 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Babb, J., Lee, J.: Action language $$\\cal BC$$+: preliminary report. In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) (2015)","DOI":"10.1609\/aaai.v29i1.9405"},{"issue":"1\u20132","key":"9_CR5","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. Artif. Intell. 153(1\u20132), 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"9_CR6","unstructured":"Lee, J., Lifschitz, V., Yang, F.: Action language $$\\cal BC$$: preliminary report. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI) (2013)"},{"issue":"4\u20135","key":"9_CR7","first-page":"719","volume":"12","author":"J Babb","year":"2012","unstructured":"Babb, J., Lee, J.: Module theorem for the general theory of stable models. TPLP 12(4\u20135), 719\u2013735 (2012)","journal-title":"TPLP"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science (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. 3662, pp. 119\u2013131. Springer, Heidelberg (2005)"},{"key":"9_CR9","unstructured":"Bartholomew, M., Lee, J.: Stable models of multi-valued formulas: partial vs. total functions. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 583\u2013586 (2014)"},{"key":"9_CR10","unstructured":"Ferraris, P., Lee, J., Lifschitz, V., Palla, R.: Symmetric splitting in the general theory of stable models. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 797\u2013803. AAAI Press (2009)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1007\/978-3-319-13560-1_82","volume-title":"PRICAI 2014: Trends in Artificial Intelligence","author":"T Cerexhe","year":"2014","unstructured":"Cerexhe, T., Gebser, M., Thielscher, M.: Online agent logic programming with oClingo. In: Pham, D.-N., Park, S.-B. (eds.) PRICAI 2014. LNCS, vol. 8862, pp. 945\u2013957. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T15:40:57Z","timestamp":1676475657000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}