{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:39Z","timestamp":1725511839774},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540790426"},{"type":"electronic","value":"9783540790433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79043-3_11","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T15:20:08Z","timestamp":1209396008000},"page":"172-189","source":"Crossref","is-referenced-by-count":2,"title":["Specifying and Verifying a MAS:The Robots on Mars Case Study"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Mermet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ga\u00eble","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Zanuttini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Saval","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"N. Alechina","year":"2005","unstructured":"Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol.\u00a03394, Springer, Heidelberg (2005)"},{"key":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","first-page":"72","volume-title":"Programming Multi-Agent Systems","author":"M.J. Wooldridge","year":"2004","unstructured":"Wooldridge, M.J., Visser, W., Bordini, R.H., Fisher, M.: Verifiable Multi-agent Programs. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 72\u201389. Springer, Heidelberg (2004)"},{"key":"11_CR3","unstructured":"Bracciali, A., Endriss, U., Demetriou, N., Kakas, T., Lu, W., Stathis, K.: Crafting the mind of prosocs agents. In: Best of \u2019From Agent Theory to Agent Implementation 4\u2019 (to appear, 2004)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., van Eck, P.A.T., Treur, J.: Modelling a Society of Simple Agents: from Conceptual Specification to Experimentation. In: Simulating Social Phenomena, Lecture Notes in Economics and Mathematical Systems, vol 456., pp. 103\u2013109 (1997)","DOI":"10.1007\/978-3-662-03366-1_8"},{"key":"11_CR5","unstructured":"Clear-Sy. B for free, http:\/\/www.b4free.com\/public\/resources.php"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Agent-Oriented Software Engineering II","author":"S.A. Deloach","year":"2002","unstructured":"Deloach, S.A., Sparkman, C.H., Self, A.L.: Automated derivation of complex agent architectures from analysis specifications. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, Springer, Heidelberg (2002)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation: An approach illustrated using the 3apl language. In: Proceedings of the Second International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2003) (2003)","DOI":"10.1145\/860575.860592"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: 7th International Workshop on Intelligent Agents. Agent Theories Architectures and Language, pp. 228\u2013243 (2000)","DOI":"10.1007\/3-540-44631-1_16"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent METATEM \u2013 the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"issue":"1-2","key":"11_CR10","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., Lesperance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"11_CR11","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"M. Kacprzak","year":"2005","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol.\u00a03394, Springer, Heidelberg (2005)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Khallouf, J., Winikoff, M.: Towards goal-oriented design of agent systems. In: Proceedings of ISEAT 2005 (2005)","DOI":"10.1109\/QSIC.2005.68"},{"key":"11_CR13","unstructured":"Mermet, B., Fournier, D., Simon, G.: An agent compositional proof system. In: From Agent Theory to Agent Implementation (AT2AI 2006) (2006)"},{"key":"11_CR14","unstructured":"Mermet, B., Simon, G., Saval, A., Zanuttini, B.: GDTs and Proofs for Robots on Mars. Technical report, GREYC (2006), http:\/\/scott.univ-lehavre.fr\/~mermet\/GDT\/applications\/proofRoM.pdf"},{"key":"11_CR15","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"F. Raimondi","year":"2005","unstructured":"Raimondi, F., Lomuscio, A.: Verification of multiagent systems via orderd binary decision diagrams: an algorithm and its implementation. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol.\u00a03394, Springer, Heidelberg (2005)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.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, Springer, Heidelberg (1996)"},{"key":"11_CR17","unstructured":"Saval, A.: Robots on mars: implementation (2006), http:\/\/arnaud.saval.free.fr\/backup\/applet\/page.html"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11752660_10","volume-title":"Agent-Oriented Software Engineering VI","author":"G. Simon","year":"2006","unstructured":"Simon, G., Flouret, M.: Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 124\u2013138. Springer, Heidelberg (2006)"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11691792_8","volume-title":"Declarative Agent Languages and Technologies III","author":"G. Simon","year":"2006","unstructured":"Simon, G., Mermet, B., Fournier, D.: Goal decomposition tree: An agent model to generate a validated agent behaviour. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 124\u2013140. Springer, Heidelberg (2006)"},{"key":"11_CR20","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Declarative Agent Languages and Technologies II","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.-J.C.: Dynamics of declarative goals in agent programming. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 1\u201318. Springer, Heidelberg (2005)"},{"key":"11_CR21","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (2003)"},{"issue":"3","key":"11_CR22","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79043-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:30Z","timestamp":1619521770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79043-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540790426","9783540790433"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79043-3_11","relation":{},"subject":[]}}