{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:21:53Z","timestamp":1740374513257,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207696"},{"type":"electronic","value":"9783540246084"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24608-4_5","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T09:11:34Z","timestamp":1280394694000},"page":"75-90","source":"Crossref","is-referenced-by-count":5,"title":["Model Checking for ACL Compliance Verification"],"prefix":"10.1007","author":[{"given":"Marc-Philippe","family":"Huget","sequence":"first","affiliation":[]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1207\/s15516709cog0303_1","volume":"3","author":"P.R. Cohen","year":"1979","unstructured":"Cohen, P.R., Perrault, C.R.: Elements of a plan based theory of speech acts. Cognitive Science\u00a03, 177\u2013212 (1979)","journal-title":"Cognitive Science"},{"key":"5_CR3","unstructured":"Finin, T., Fritzson, R.: KQML \u2014 a language and protocol for knowledge and information exchange. In: Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence, Lake Quinalt, WA, July 1994, pp. 126\u2013136 (1994)"},{"key":"5_CR4","unstructured":"FIPA. Specification part 2 \u2014 Agent communication language (1999). The text refers to the specification dated (April 16, 1999)"},{"key":"5_CR5","unstructured":"Guilfoyle, C., Jeffcoate, J., Stark, H.: Agents on the Web: Catalyst for ECommerce. Ovum Ltd., London (April 1997)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"5_CR7","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G.: Design and Validation of Computer Protocols. Prentice Hall International, Hemel Hempstead (1991)"},{"issue":"5","key":"5_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The Spin model checker. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR9","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1996","unstructured":"Levesque, H., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201384 (1996)","journal-title":"Journal of Logic Programming"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3540608052_77","volume-title":"Intelligent Agents II - Agent Theories, Architectures, and Languages","author":"J. Mayfield","year":"1996","unstructured":"Mayfield, J., Labrou, Y., Finin, T.: Evaluating KQML as an agent communication language. In: Tambe, M., M\u00fcller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol.\u00a01037, pp. 347\u2013360. Springer, Heidelberg (1996)"},{"key":"5_CR12","unstructured":"Pitt, J., Mamdani, E.H.: A protocol-based semantics for an agent communication language. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden (August 1999)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"S. Rao","year":"1996","unstructured":"Rao, S.: 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)"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"S. Rao","year":"1998","unstructured":"Rao, S., Georgeff, M.: Decision procedures for BDI logics. Journal of Logic and Computation\u00a08(3), 293\u2013344 (1998)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Singh, M.: Agent communication languages: Rethinking the principles. IEEE Computer, 40\u201349 (December 1998)","DOI":"10.1109\/2.735849"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Verifiable semantics for agent communication languages. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Paris, France, pp. 349\u2013365 (1998)","DOI":"10.1109\/ICMAS.1998.699219"},{"key":"5_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, pp. 952\u2013959 (2002)","DOI":"10.1145\/544862.544965"}],"container-title":["Lecture Notes in Computer Science","Advances in Agent Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24608-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T15:32:46Z","timestamp":1740324766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24608-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540207696","9783540246084"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24608-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}