{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:48:28Z","timestamp":1742982508685,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"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_34","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"411-424","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\\mathcal {ALM}$$"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Inclezan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"4\u20135","key":"34_CR1","first-page":"547","volume":"13","author":"M Balduccini","year":"2013","unstructured":"Balduccini, M.: ASP with non-Herbrand partial functions: a language and system for practical use. TPLP 13(4\u20135), 547\u2013561 (2013)","journal-title":"TPLP"},{"key":"34_CR2","unstructured":"Erdo\u01e7an, S., Lifschitz, V.: Actions as special cases. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 377\u2013387. AAAI Press (2006)"},{"key":"34_CR3","unstructured":"Erdo\u01e7an, S.T.: A library of general-purpose action descriptions. Ph.D. thesis, University of Texas at Austin, Austin, TX, USA (2008)"},{"key":"34_CR4","unstructured":"Gelfond, M., Inclezan, D.: Yet Another Modular Action Language. In: Proceedings of SEA 2009, pp. 64\u201378. University of Bath Opus: Online Publications Store (2009)"},{"issue":"3\/4","key":"34_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"issue":"16","key":"34_CR6","first-page":"193","volume":"3","author":"M Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. AI 3(16), 193\u2013210 (1998)","journal-title":"Electron. Trans. AI"},{"key":"34_CR7","unstructured":"Gelfond, M., Lifschitz, V.: The common core of action languages B and C. In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012) (2012)"},{"issue":"1\u20132","key":"34_CR8","first-page":"105","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), 105\u2013140 (2004)","journal-title":"Artif. Intell."},{"key":"34_CR9","unstructured":"Giunchiglia, E., Lifschitz, V.: An Action language based on causal explanation: preliminary report. In: Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 623\u2013630. AAAI Press (1998)"},{"key":"34_CR10","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":"34_CR11","unstructured":"Inclezan, D., Gelfond, M.: Modular action language ALM - accepted for publication in TPLP (2015) http:\/\/arxiv.org\/abs\/1505.05022"},{"key":"34_CR12","unstructured":"Lee, J., Lifschitz, V., Yang, F.: Action language BC: preliminary report. In: The 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) (2013)"},{"key":"34_CR13","unstructured":"Lifschitz, V., Ren, W.: A Modular action description language. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), pp. 853\u2013859 (2006)"},{"issue":"1\u20133","key":"34_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H Turner","year":"1997","unstructured":"Turner, H.: Representing actions in logic programs and default theories: a situation calculus approach. J. Logic Program. 31(1\u20133), 245\u2013298 (1997)","journal-title":"J. Logic Program."}],"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_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T15:41:20Z","timestamp":1676475680000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_34","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"}}]}}