{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:11:51Z","timestamp":1767237111707},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_8","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T21:34:52Z","timestamp":1284845692000},"page":"57-69","source":"Crossref","is-referenced-by-count":16,"title":["Verifying Communicating Agents by Model Checking 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":"8_CR1","doi-asserted-by":"crossref","unstructured":"Alberti, M., Daolio, D., Torroni, P.: Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: SAC 2004 (March 2004)","DOI":"10.1145\/967900.967918"},{"key":"8_CR2","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":"8_CR3","first-page":"401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation. Special Issue on Computational Aspects of Multi-Agent Systems\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation. Special Issue on Computational Aspects of Multi-Agent Systems"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model Checking AgentSpeak. In: AAMAS 2003, pp. 409\u2013416 (2003)","DOI":"10.1145\/860575.860641"},{"key":"8_CR5","unstructured":"Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about Actions and Planning in LTL Action Theories. In: Proc. KR 2002 (2002)"},{"key":"8_CR6","unstructured":"FIPA Contract Net Interaction Protocol Specification (2002), Available at http:\/\/www.fipa.org"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Defining Interaction Protocols using a Commitment-based Agent Communication Language. In: Proc. AAMAS 2003, Melbourne, pp. 520\u2013527 (2003)","DOI":"10.1145\/860575.860659"},{"key":"8_CR8","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, June 1995, North Holland, Amsterdam (1995)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A.: On-the-fly Automata Construction for Dynamic Linear Time Temporal Logic. In: TIME 2004 (June 2004)","DOI":"10.1109\/TIME.2004.1314430"},{"key":"#cr-split#-8_CR10.1","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);"},{"key":"#cr-split#-8_CR10.2","doi-asserted-by":"crossref","unstructured":"Also in The Logic Journal of the IGPL\u00a09(2), 289-303 (March 2001)","DOI":"10.1093\/jigpal\/9.2.289"},{"key":"8_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-39853-0_22","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"L. Giordano","year":"2003","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol.\u00a02829, pp. 262\u2013274. Springer, Heidelberg (2003)"},{"key":"8_CR12","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":"8_CR13","unstructured":"Guerin, F.: Specifying Agent Communication Languages. PhD Thesis, Imperial College, London (April 2002)"},{"key":"8_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"8_CR15","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":"8_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-24608-4_5","volume-title":"Advances in Agent Communication","author":"M.P. Huget","year":"2004","unstructured":"Huget, M.P., Wooldridge, M.: Model Checking for ACL Compliance Verification. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 75\u201390. Springer, Heidelberg (2004)"},{"key":"8_CR17","unstructured":"Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-deterministic Domains. In: Proc. IJCAI 2001, Seattle, pp. 479\u2013484 (2001)"},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","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 (1991)"},{"key":"8_CR19","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":"8_CR20","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":"8_CR21","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":"8_CR22","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\/544865.544867"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:51:04Z","timestamp":1605743464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}