{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:26:05Z","timestamp":1725686765175},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_10","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"134-148","source":"Crossref","is-referenced-by-count":0,"title":["Extending Action Language $\\mathcal{C}+$ by Formalizing Composite Actions"],"prefix":"10.1007","author":[{"given":"Xiaoping","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoqiang","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangkai","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"10_CR2","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"},{"issue":"1-2","key":"10_CR3","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"},{"key":"10_CR4","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"issue":"1-3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. J. Log. Program.\u00a031(1-3), 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"10_CR6","series-title":"Lecture Notes in Artificial Intelligence","first-page":"226","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C., McIlraith, S.A.: Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, p. 226. Springer, Heidelberg (2001)"},{"key":"10_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-63912-8_101","volume-title":"Recent Advances in AI Planning","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Event Calculus Planning Revisited. In: Steel, S. (ed.) ECP 1997. LNCS (LNAI), vol.\u00a01348, pp. 390\u2013402. Springer, Heidelberg (1997)"},{"key":"10_CR8","unstructured":"Sacerdott, E.D.: Planning in a hierarchy of abstraction spaces. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI 1973 (1973)"},{"key":"10_CR9","unstructured":"Erol, K., Hendler, J.A., Nau, D.S.: Htn planning: Complexity and expressivity. In: AAAI, pp. 1123\u20131128 (1994)"},{"key":"10_CR10","unstructured":"Lifschitz, V., Ren, W.: A modular action description language. In: Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 853\u2013859 (2006)"},{"key":"10_CR11","unstructured":"Gelfond, M., Inclezan, D.: Yet another modular action language. In: Proceedings of the Second International Workshop on Software Engineering for Answer Set Programming, pp. 64\u201378 (2009)"},{"issue":"12","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in Artificial Intelligence. Communications\u00a0of the ACM\u00a030(12), 1030\u20131035 (1987)","journal-title":"Communications\u00a0of the ACM"},{"key":"10_CR13","unstructured":"Erdo\u011fan, S.T.: A Library of General-Purpose Action Descriptions. PhD thesis, University of Texas at Austin (2008)"},{"key":"10_CR14","unstructured":"Casolary, M., Lee, J.: Representing the language of the causal calculator in answer set programming. In: Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), pp. 51\u201361 (2011)"},{"key":"10_CR15","unstructured":"Inclezan, D., Gelfond, M.: Representing Biological Processes in Modular Action Language ALM. In: Proceedings of the 2011 AAAI Spring Symposium on Formalizing Commonsense, pp. 49\u201355. AAAI Press (2011)"},{"key":"10_CR16","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1985\u20131991 (1995)"},{"key":"10_CR17","unstructured":"Erdo\u011fan, S.T., Lifschitz, V.: Actions as special cases. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 377\u2013387 (2006)"},{"key":"10_CR18","unstructured":"Chen, X., Ji, J., Jiang, J., Jin, G., Wang, F., Xie, J.: Developing high-level cognitive functions for service robots. In: Proc. of 9th Int. Conf. on Autonomous Agents and Multi-agent Systems, AAMAS 2010 (2010)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T18:26:21Z","timestamp":1556821581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}