{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:55Z","timestamp":1725574615871},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201199"},{"type":"electronic","value":"9783540398530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39853-0_22","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T11:13:01Z","timestamp":1294917181000},"page":"262-274","source":"Crossref","is-referenced-by-count":4,"title":["Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camilla","family":"Schwind","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","first-page":"5","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and AI\u00a022, 5\u201327 (1998)","journal-title":"Annals of Mathematics and AI"},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation\u00a08(3), 401\u2013423 (1998); special Issue on Computational Aspects of Multi-Agent Systems","journal-title":"Journal of Logic and Computation"},{"key":"22_CR3","unstructured":"Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about Actions and Planning in LTL Action Theories. In: Proc. KR 2002 (2002)"},{"key":"22_CR4","first-page":"65","volume-title":"Int. Conf. on Multi Agent Systems","author":"P. Cohen","year":"1995","unstructured":"Cohen, P., Levesque, H.: Communicative actions for artificial agents. In: Int. Conf. on Multi Agent Systems, pp. 65\u201372. MIT Press, Cambridge (1995)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a concurrent programing language based on the situation calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"22_CR6","volume-title":"Proc. 15th Work. Protocol Specification, Testing and Verification","author":"R. Gerth","year":"1995","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple On-the-fly Automatic verification of Linear Temporal Logic. In: Proc. 15th Work. Protocol Specification, Testing and Verification, Warsaw. North Holland, Amsterdam (1995)"},{"issue":"5","key":"22_CR7","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L. Giordano","year":"2000","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Ramification and causality in a modal action logic. Journal of Logic and Computation\u00a010(5), 625\u2013662 (2000)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Reasoning About Actions in Dynamic Linear Time Temporal Logic. In: FAPR 2000 - Int. Conf. on Pure and Applied Practical Reasoning, London (September 2000); also in The Logic Journal of the IGPL\u00a09(2), 289-303 (March 2001)","DOI":"10.1093\/jigpal\/9.2.273"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Reasoning about Actions in a Multiagent Domain. In: Proc. AI*IA 2001, Bari, September 2001, pp. 237\u2013248 (2001)","DOI":"10.1007\/3-540-45411-X_24"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, pp. 1\u201320. Springer, Heidelberg (2000)"},{"key":"22_CR11","unstructured":"Guerin, F.: Specifying Agent Communication Languages. PhD Thesis, Imperial College, London (April 2002)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D.: First order dynamic logic. Extensions of Classical Logic, Handbook of Philosophical Logic II, 497\u2013604 (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201997: Concurrency Theory","author":"J.G. Henriksen","year":"1997","unstructured":"Henriksen, J.G., Thiagarajan, P.S.: A product Version of Dynamic Linear Time Temporal Logic. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243. Springer, Heidelberg (1997)"},{"issue":"1-3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J.G. Henriksen","year":"1999","unstructured":"Henriksen, J.G., Thiagarajan, P.S.: Dynamic Linear Time Temporal Logic. Annals of Pure and Applied logic\u00a096(1-3), 187\u2013207 (1999)","journal-title":"Annals of Pure and Applied logic"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Labrou, Y., Finin, T.: A semantic approach for KQML - a general purpose communication language for software agents. In: 3rd Int Conf. on Information and Knowledge Management, CIKM 1994, pp. 447\u2013455 (1994)","DOI":"10.1145\/191246.191320"},{"key":"22_CR16","first-page":"359","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1999","unstructured":"Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press, London (1999)"},{"key":"22_CR17","volume-title":"IJCAI 1998 Workshop on Agent Communication Languages","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for Agent Communication Languages. In: IJCAI 1998 Workshop on Agent Communication Languages. Springer, Berlin (2000)"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems\u00a03, 9\u201331 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model Checking Multi- Agent Systems with MABLE. In: AAMAS 2002, Bologna, Italy, pp. 952\u2013959 (2002)","DOI":"10.1145\/544862.544965"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In: AAMAS 2002, Bologna, Italy, pp. 527\u2013534 (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2003: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39853-0_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:42:37Z","timestamp":1605760957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39853-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201199","9783540398530"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39853-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}