{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:53Z","timestamp":1725558953470},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261728"},{"type":"electronic","value":"9783540319276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_5","type":"book-chapter","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T21:52:26Z","timestamp":1278971546000},"page":"69-91","source":"Crossref","is-referenced-by-count":9,"title":["The Semantics of MALLET\u2013An Agent Teamwork Encoding Language"],"prefix":"10.1007","author":[{"given":"Xiaocong","family":"Fan","sequence":"first","affiliation":[]},{"given":"John","family":"Yen","sequence":"additional","affiliation":[]},{"given":"Michael S.","family":"Miller","sequence":"additional","affiliation":[]},{"given":"Richard A.","family":"Volz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"487","DOI":"10.2307\/2216075","volume":"25","author":"P.R. Cohen","year":"1991","unstructured":"Cohen, P.R., Levesque, H.J.: Teamwork. Nous\u00a025, 487\u2013512 (1991)","journal-title":"Nous"},{"key":"5_CR2","unstructured":"Cohen, P.R., Levesque, H.J., Smith, I.A.: On team formation. In: Hintikka, J., Tuomela, R. (eds.) Contemporary Action Theory (1997)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0004-3702(94)00020-2","volume":"75","author":"N.R. Jennings","year":"1995","unstructured":"Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence\u00a075, 195\u2013240 (1995)","journal-title":"Artificial Intelligence"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0004-3702(95)00103-4","volume":"86","author":"B. Grosz","year":"1996","unstructured":"Grosz, B., Kraus, S.: Collaborative plans for complex group actions. Artificial Intelligence\u00a086, 269\u2013358 (1996)","journal-title":"Artificial Intelligence"},{"key":"5_CR5","first-page":"83","volume":"7","author":"M. Tambe","year":"1997","unstructured":"Tambe, M.: Towards flexible teamwork. Journal of AI Research\u00a07, 83\u2013124 (1997)","journal-title":"Journal of AI Research"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Rich, C., Sidner, C.: Collagen: When agents collaborate with people. In: Proceedings of the International Conference on Autonomous Agents (Agents 1997), pp. 284\u2013291 (1997)","DOI":"10.1145\/267658.267730"},{"key":"5_CR7","unstructured":"Giampapa, J., Sycara, K.: Team-oriented agent coordination in the RETSINA multi-agent system. Technical Report CMU-RI-TR-02-34, CMU (2002)"},{"key":"5_CR8","unstructured":"Yen, J., Yin, J., Ioerger, T., Miller, M., Xu, D., Volz, R.: CAST: Collaborative agents for simulating teamworks. In: Proceedings of IJCAI 2001, pp. 1135\u20131142 (2001)"},{"key":"5_CR9","unstructured":"Tidhar, G.: Team oriented programming: Preliminary report. In: Technical Report 41, AAII, Australia (1993)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Pynadath, D.V., Tambe, M., Chauvat, N., Cavedon, L.: Toward team-oriented programming. In: Agent Theories, Architectures, and Languages, pp. 233\u2013247 (1999)","DOI":"10.1007\/10719619_17"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Scerri, P., Pynadath, D.V., Schurr, N., Farinelli, A.: Team oriented programming and proxy agents: the next generation. In: Proc. of the 1st Inter. Workshop on Prog. MAS at AAMAS 2003, pp. 131\u2013138 (2003)","DOI":"10.1007\/978-3-540-25936-7_7"},{"key":"5_CR12","first-page":"57","volume-title":"Decentralized AI 3 \u2013Proceedings of MAAMAW 1991","author":"A.S. Rao","year":"1992","unstructured":"Rao, A.S., Georgeff, M.P., Sonenberg, E.A.: Social plans: A preliminary report. In: Werner, E., Demazeau, Y. (eds.) Decentralized AI 3 \u2013Proceedings of MAAMAW 1991, pp. 57\u201376. Elsevier Science B.V., Amsterdam (1992)"},{"key":"5_CR13","series-title":"LNAI","first-page":"226","volume-title":"Artificial Social Systems","author":"D. Kinny","year":"1994","unstructured":"Kinny, D., Ljungberg, M., Rao, A.S., Sonenberg, E., Tidhar, G., Werner, E.: Planned team activity. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS (LNAI), vol.\u00a0830, pp. 226\u2013256. Springer, Heidelberg (1994)"},{"key":"5_CR14","unstructured":"Tidhar, G., Rao, A., Sonenberg, E.: Guided team selection. In: Proceedings of the 2nd International Conference on Multi-agent Systems (ICMAS 1996) (1996)"},{"key":"5_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"5_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11493402_2","volume-title":"Declarative Agent Languages and Technologies II","author":"P. Pozos-Parra","year":"2005","unstructured":"Pozos-Parra, P., Nayak, A., Demolombe, R.: Theories of intentions in the framework of situation calculus. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 19\u201334. Springer, Heidelberg (2005)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of AAMAS 2003, pp. 409\u2013416 (2003)","DOI":"10.1145\/860575.860641"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of AAMAS 2002, pp. 952\u2013959 (2002)","DOI":"10.1145\/544862.544965"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.J.C.: A programming language for cognitive agents: Goal directed 3APL. In: Proc. of the 1st Inter. Workshop on Prog. MAS at AAMAS 2003, pp. 111\u2013130 (2003)","DOI":"10.1007\/978-3-540-25936-7_6"},{"key":"5_CR20","first-page":"109","volume":"121","author":"G.D. Giacomo","year":"2000","unstructured":"Giacomo, G.D., Lesperance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. AI\u00a0121, 109\u2013169 (2000)","journal-title":"AI"},{"key":"5_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11493402_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., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 1\u201318. Springer, Heidelberg (2005)"},{"key":"5_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11493402_11","volume-title":"Declarative Agent Languages and Technologies II","author":"D. Robertson","year":"2005","unstructured":"Robertson, D.: A lightweight coordination calculus for agent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 183\u2013197. Springer, Heidelberg (2005)"},{"key":"5_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11493402_12","volume-title":"Declarative Agent Languages and Technologies II","author":"M. Winikoff","year":"2005","unstructured":"Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 198\u2013220. Springer, Heidelberg (2005)"},{"key":"5_CR24","unstructured":"Yen, J., Fan, X., Sun, S., Hanratty, T., Dumer, J.: Agents with shared mental models for enhancing team decision-makings. Decision Support Systems, Special issue on Intelligence and Security Informatics (2004) (in press)"},{"key":"5_CR25","unstructured":"Yen, J., et al.: CAST manual. Technical report, IST, The Pennsylvania State University (2004)"},{"key":"5_CR26","unstructured":"JACK Teams Manual (2004), http:\/\/www.agent-software.com\/shared\/demosNdocs\/JACK-Teams-Manual.pdf"},{"key":"5_CR27","unstructured":"OWL-S (2003), http:\/\/www.daml.org\/services\/owl-s\/1.0\/owl-s.html"},{"key":"5_CR28","unstructured":"McDermott, D.: The formal semantics of processes in PDDL. In: Proc. ICAPS Workshop on PDDL (2003)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:58:42Z","timestamp":1605625122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11493402_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}