{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:52Z","timestamp":1761611332874},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_13","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"122-134","source":"Crossref","is-referenced-by-count":10,"title":["Cplus 2ASP: Computing Action Language ${\\cal C}$ + in Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Babb","sequence":"first","affiliation":[]},{"given":"Joohyung","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"13_CR1","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":"1-2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","volume":"153","author":"V. Akman","year":"2004","unstructured":"Akman, V., Erdo\u011fan, S., Lee, J., Lifschitz, V., Turner, H.: Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artificial Intelligence\u00a0153(1-2), 105\u2013140 (2004)","journal-title":"Artificial Intelligence"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04238-6_29","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O. Caldiran","year":"2009","unstructured":"Caldiran, O., Haspalamutgil, K., Ok, A., Palaz, C., Erdem, E., Patoglu, V.: Bridging the gap between high-level reasoning and low-level control. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 342\u2013354. Springer, Heidelberg (2009)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic 9(1) (2009)","DOI":"10.1145\/1459010.1459011"},{"key":"13_CR5","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: AAAI, pp. 1328\u20131333 (2007)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-03748-1_7","volume-title":"Trust, Privacy and Security in Digital Business","author":"A. Armando","year":"2009","unstructured":"Armando, A., Giunchiglia, E., Ponta, S.E.: Formal specification and automatic analysis of business processes under authorization constraints: An action-based approach. In: Fischer-H\u00fcbner, S., Lambrinoudakis, C., Pernul, G. (eds.) TrustBus 2009. LNCS, vol.\u00a05695, pp. 63\u201372. Springer, Heidelberg (2009)"},{"key":"13_CR7","unstructured":"McCain, N.: Causality in Commonsense Reasoning about Actions. PhD thesis, University of Texas at Austin (1997)"},{"issue":"3","key":"13_CR8","first-page":"383","volume":"12","author":"P. Ferraris","year":"2012","unstructured":"Ferraris, P., Lee, J., Lierler, Y., Lifschitz, V., Yang, F.: Representing first-order causal theories by logic programs. TPLP\u00a012(3), 383\u2013412 (2012)","journal-title":"TPLP"},{"key":"13_CR9","unstructured":"Do\u011fanda\u011f, S., Alpaslan, F.N., Akman, V.: Using stable model semantics (SMODELS) in the Causal Calculator (CCALC). In: Proceedings 10th Turkish Symposium on Artificial Intelligence and Neural Networks, pp. 312\u2013321 (2001)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-15675-5_32","volume-title":"Logics in Artificial Intelligence","author":"M. Gebser","year":"2010","unstructured":"Gebser, M., Grote, T., Schaub, T.: Coala: A compiler from action languages to ASP. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 360\u2013364. Springer, Heidelberg (2010)"},{"key":"13_CR11","unstructured":"Casolary, M., Lee, J.: Representing the language of the causal calculator in answer set programming. In: ICLP (Technical Communications), pp. 51\u201361 (2011)"},{"key":"13_CR12","first-page":"195","volume":"3","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence\u00a03, 195\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"13_CR13","unstructured":"Lee, J., Lifschitz, V., Yang, F.: Action language BC: Preliminary report. In: Proc. IJCAI 2013 (to appear, 2013)"},{"issue":"4-5","key":"13_CR14","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\u00a012(4-5), 719\u2013735 (2012)","journal-title":"TPLP"},{"key":"13_CR15","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. Journal of Artificial Intelligence Research\u00a035, 813\u2013857 (2009)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P. Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artificial Intelligence\u00a0175, 236\u2013263 (2011)","journal-title":"Artificial Intelligence"},{"key":"13_CR17","unstructured":"Lee, J.: Automated Reasoning about Actions. PhD thesis, University of Texas at Austin (2005)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-642-04238-6_51","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Lee","year":"2009","unstructured":"Lee, J., Palla, R.: System f2lp \u2013 computing answer sets of first-order formulas. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 515\u2013521. Springer, Heidelberg (2009)"},{"key":"13_CR19","unstructured":"Bartholomew, M., Lee, J.: Stable models of formulas with intensional functions. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning, KR, pp. 2\u201312 (2012)"},{"key":"13_CR20","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)"},{"key":"13_CR21","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, 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"13_CR22","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.\u00a06645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"13_CR23","unstructured":"Lee, J., Lifschitz, V.: Describing additive fluents in action language \n                  \n                    \n                  \n                  $\\cal C$\n                +. In: Proceedings of International Joint Conference on Artificial Intelligence, IJCAI, pp. 1079\u20131084 (2003)"}],"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-40564-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:24:57Z","timestamp":1558059897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}