{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:59Z","timestamp":1725551879835},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308188"},{"type":"electronic","value":"9783540315995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596448_44","type":"book-chapter","created":{"date-parts":[[2006,6,17]],"date-time":"2006-06-17T13:12:37Z","timestamp":1150549957000},"page":"303-312","source":"Crossref","is-referenced-by-count":1,"title":["A Software Architecture for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Vasu S.","family":"Alagar","sequence":"first","affiliation":[]},{"given":"Mao","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Alagar, V.S., Ormandjieva, O., Zheng, M.: Incremental Testing forSelf-Evolving Systems. In: Proceedings of Third International Conference on Quality of Software, Dallas, U.S.A, November 6-7, pp. 12\u201319 (2003)","DOI":"10.1109\/QSIC.2003.1319080"},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Alagar, V.S., Ormandjieva, O., Chen, M., Zheng, M.: Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. In: Proceedings of 10th Asia Pacific Software Engineering Conference, Chiang Mai, Thailand, December 10-12, pp. 406\u2013414 (2003)","DOI":"10.1109\/APSEC.2003.1254396"},{"key":"44_CR3","volume-title":"How to Do Things With Words","author":"J. Austin","year":"1962","unstructured":"Austin, J.: How to Do Things With Words. Oxford University Press, Oxford (1962)"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Moreira, A.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence, 1\u201330 (2004)","DOI":"10.1023\/B:AMAI.0000034527.45635.e5"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavilla, C., Woolridge, M.: Model Checking AgentSpeak. In: Proceedings of AAMAS 2003. Melbourne, Australia, July 14-18 (2003)","DOI":"10.1145\/860575.860641"},{"key":"44_CR6","unstructured":"Foundations of Intelligent Physical Agents: FIPA Specification Part 2 - Agent Communication Language (1999), http:\/\/www.fipa.org"},{"key":"44_CR7","first-page":"304","volume-title":"ACM Symposium on Theory of Computing","author":"J.Y. Halpern","year":"1986","unstructured":"Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time. In: ACM Symposium on Theory of Computing, Baltimore, USA, pp. 304\u2013315. ACM Press, New York (1986)"},{"key":"44_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-45133-4_10","volume-title":"Formal Approaches to Agent-Based Systems","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio, A., Lasica, T., Penczek, W.: Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 115\u2013125. Springer, Heidelberg (2003)"},{"key":"44_CR9","first-page":"777","volume-title":"KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","author":"R. Patil","year":"1992","unstructured":"Patil, R., Fikes, R.F., Patil-Schneider, P.L., Mckay, D., Finin, T., Gruber, T., Neches, R.: The DARPA Knowledge Sharing Effort: Progress Report. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pp. 777\u2013788. Morgan Kaufmann, San Mateo (1992)"},{"key":"44_CR10","first-page":"312","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995)","author":"A.S. Rao","year":"1995","unstructured":"Rao, A.S., Georgeff, M.P.: BDI Agents: From theory to practice. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312\u2013319. AAAI Press, Menlo Park (1995)"},{"key":"44_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Static Analysis","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"44_CR12","unstructured":"Zheng, M.: Automated Test Generation From Formal Specification of Real-Time Reactive Systems. Ph.D. Thesis, Department of Computer Science, Concordia University, Montreal, Canada (2002)"}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596448_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:56:07Z","timestamp":1619506567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596448_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308188","9783540315995"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11596448_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}