{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:59:53Z","timestamp":1740095993745,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_12","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"163-180","source":"Crossref","is-referenced-by-count":0,"title":["Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning"],"prefix":"10.1007","author":[{"given":"Ben","family":"Wright","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Potassco - the potsdam answer set solving collection, http:\/\/potassco.sourceforge.net\/"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-45241-9_5","volume-title":"Practical Aspects of Declarative Languages","author":"M. Baldoni","year":"2001","unstructured":"Baldoni, M., Baroglio, C., Chiarotto, A., Patti, V.: Programming Goal-Driven Web Sites Using an Agent Logic Language. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 60\u201375. Springer, Heidelberg (2001), http:\/\/www.springerlink.com\/index\/labcg2d7yjdcjrjc.pdf"},{"key":"12_CR3","unstructured":"Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Modeling Agents in a Logic Action Language. In: Proc. of Workshop on Practical Reasoning Agents, FAPR 2000 (2000)"},{"issue":"2-4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence\u00a041(2-4), 207\u2013257 (2004), http:\/\/www.springerlink.com\/openurl.asp?id=doi:10.1023\/B:AMAI.0000031196.24935.b5","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4-6","key":"12_CR5","first-page":"675","volume":"10","author":"C. Baral","year":"2010","unstructured":"Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: Logic programming for finding models in the logics of knowledge and its applications: A case study. TPLP\u00a010(4-6), 675\u2013690 (2010)","journal-title":"TPLP"},{"issue":"1-3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. J. Log. Program.\u00a031(1-3), 201\u2013243 (1997)","journal-title":"J. Log. Program."},{"key":"12_CR7","unstructured":"Baral, C., Son, T.C., Tuan, L.C.: A transition function based characterization of actions with delayed and continuous effects. In: Proceedings of the Eighth International Conference on Principles of Knowledge and Representation and Reasoning (KR 2000), pp. 291\u2013302 (2002)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"12_CR9","unstructured":"Brenner, M.: A Multiagent Planning Language. In: Proc. of ICAPS 2003 Workshop on PDDL (2003)"},{"key":"12_CR10","unstructured":"Brewka, G., Strass, H., Thielscher, M.: Declarative strategies for agents with incomplete knowledge. In: NMR 2012: 14th International Workshop on Non-Monotonic Reasoning (2012)"},{"key":"12_CR11","unstructured":"Casolary, M., Lee, J.: Representing the language of the causal calculator in answer set programming. In: Gallagher, J.P., Gelfond, M. (eds.) ICLP (Technical Communications). LIPIcs, vol.\u00a011, pp. 51\u201361. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)"},{"key":"12_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-24609-1_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Dimopoulos","year":"2003","unstructured":"Dimopoulos, Y., Kakas, A.C., Michael, L.: Reasoning About Actions and Change in Answer Set Programming. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 61\u201373. Springer, Heidelberg (2003), http:\/\/dblp.uni-trier.de\/db\/conf\/lpnmr\/lpnmr2004.html#DimopoulosKM04"},{"key":"12_CR13","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Planning with action languages: Perspectives using clp(fd) and asp. In: CILC 2006: Convegno Italiano di Logica Computazionale (2006)"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-20832-4_17","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"A. Dovier","year":"2011","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Perspectives on Logic-Based Approaches for Reasoning About Actions and Change. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, pp. 259\u2013279. Springer, Heidelberg (2011), http:\/\/dl.acm.org\/citation.cfm?id=2001078.2001096"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"12_CR16","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":"12_CR17","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070\u20131080. MIT Press (1988)"},{"key":"12_CR18","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI 3 (1998)"},{"key":"12_CR19","unstructured":"Giunchiglia, E., Lifschitz, V.: Action languages, temporal action logics and the situation calculus. In: Working Notes of the IJCAI 1999 Workshop on Nonmonotonic Reasoning, Action, and Change (1999), http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.25.2280&rep=rep1&type=pdf"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-14977-1_16","volume-title":"Computational Logic in Multi-Agent Systems","author":"R. Kowalski","year":"2010","unstructured":"Kowalski, R., Sadri, F.: An Agent Language with Destructive Assignment and Model-Theoretic Semantics. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 200\u2013218. Springer, Heidelberg (2010), http:\/\/dl.acm.org\/citation.cfm?id=1893859.1893877"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 357\u2013373. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_16"},{"issue":"1-2","key":"12_CR22","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. Artif. Intell.\u00a0138(1-2), 39\u201354 (2002), http:\/\/dx.doi.org\/10.1016\/S0004-37020200186-8","journal-title":"Artif. Intell."},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. Rao","year":"1996","unstructured":"Rao, A.: Agentspeak(l): Bdi Agents Speak Out in a Logical Computable Language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996), http:\/\/dx.doi.org\/10.1007\/BFb0031845"},{"key":"12_CR24","unstructured":"Sirbu, M.: Credits and debits on the internet. In: Huhns, M., Singh, M.P. (eds.) Readings in Agents, pp. 299\u2013305. Morgan Kaufmann (1998)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-16867-3_1","volume-title":"Computational Logic in Multi-Agent Systems","author":"T.C. Son","year":"2010","unstructured":"Son, T.C., Pontelli, E., Nguyen, N.-H.: Planning for Multiagent Using ASP-Prolog. In: Dix, J., Fisher, M., Nov\u00e1k, P. (eds.) CLIMA X. LNCS, vol.\u00a06214, pp. 1\u201321. Springer, Heidelberg (2010), http:\/\/dx.doi.org\/10.1007\/978-3-642-16867-3_1 , 10.1007, doi:10.1007\/978-3-642-16867-3_1"},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-29113-5_6","volume-title":"Declarative Agent Languages and Technologies IX","author":"T.C. Son","year":"2012","unstructured":"Son, T.C., Pontelli, E., Sakama, C.: Formalizing Commitments Using Action Languages. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds.) DALT 2011. LNCS, vol.\u00a07169, pp. 67\u201383. Springer, Heidelberg (2012)"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V.S., Zaniolo, C.: Relating stable models and ai planning domains. In: Proc. ICLP 1995, pp. 233\u2013247. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0030"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T11:05:29Z","timestamp":1714302329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}