The semantics of MALLET - An agent teamwork encoding language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3476 LNAI, Issue , 2005, Pages 69-91

  Fan, Xiaocong ^a   Yen, John ^a   Miller, Michael S ^b   Volz, Richard A ^b  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b TEXAS A AND M UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

AGENT SPECIFICATION; OPERATIONAL SEMANTICS; TEAM-BASED AGENTS;

MULTI AGENT SYSTEMS;

EID: 26844580144     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_5     Document Type: Conference Paper

References (28)

1. Cohen, P.R., Levesque, H.J.: Teamwork. Nous 25:487-512, (1991)
2. Cohen, P.R., Levesque, H.J., Smith, I.A.: On team formation. In Hintikka, J., Tuomela, R., eds.: Contemporary Action Theory. (1997)
3. Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence 75 (1995) 195-240
4. Grosz, B., Kraus, S.: Collaborative plans for complex group actions. Artificial Intelligence 86 (1996) 269-358
5. Tambe, M.: Towards flexible teamwork. Journal of AI Research 7 (1997) 83-124
6. Rich, C., Sidner, C.: Collagen: When agents collaborate with people. In: Proceedings of the International Conference on Autonomous Agents (Agents'97). (1997) 284-291
7. Giampapa, J., Sycara, K.: Team-oriented agent coordination in the RETSINA multi-agent system. Technical Report CMU-RI-TR-02-34, CMU (2002)
8. Yen, J., Yin, J., Ioerger, T., Miller, M., Xu, D., Volz, R.: CAST: Collaborative agents for simulating teamworks. In: Proceedings of IJCAI'2001. (2001) 1135-1142
9. Tidhar, G.: Team oriented programming: Preliminary report. In: Technical Report 41, AAII, Australia. (1993)
10. Pynadath, D.V., Tambe, M., Chauvat, N., Cavedon, L.: Toward team-oriented programming. In: Agent Theories, Architectures, and Languages. (1999) 233-247
11. 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'03. (2003) 131-138
12. Rao, A.S., Georgeff, M.P., Sonenberg, E.A.: Social plans: A preliminary report. In Werner, E., Demazeau, Y., eds.: Decentralized AI 3-Proceedings of MAAMAW-91), Elsevier Science B.V.: Amsterdam, Netherland (1992) 57-76
13. Kinny, D., Ljungberg, M., Rao, A.S., Sonenberg, E., Tidhar, G., Werner, E.: Planned team activity. In Castelfranchi, C., Werner, E., eds.: Artificial Social Systems (LNAI-830), Springer-Verlag: Heidelberg, Germany (1992) 226-256
14. Tidhar, G., Rao, A., Sonenberg, E.: Guided team selection. In: Proceedings of the 2nd International Conference on Multi-agent Systems (ICMAS-96). (1996)
15. Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: MAAMAW'96, LNAI 1038, Springer-Verlag: Heidelberg, Germany (1996) 42-55
16. 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.: Declarative Agent Languages and Technologies (DALT 2004), LNCS 3476, Springer-Verlag (2005). In this volume.
17. Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of AAMAS-2003. (2003) 409-416
18. Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model checking multiagent systems with MABLE. In: Proceedings of AAMAS-2002. (2002) 952-959
19. 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'03. (2003) 111-130
20. Giacomo, G.D., Lesperance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. AI 121 (2000) 109-169
21. 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.: Declarative Agent Languages and Technologies (DALT 2004), LNCS 3476, Springer-Verlag (2005). In this volume.
22. Robertson, D.: A lightweight coordination calculus for agent systems. In Leite, J., Omicini, A., Torroni, P., Yolum, P., eds.: Declarative Agent Languages and Technologies (DALT 2004), LNCS 3476, Springer-Verlag (2005). In this volume.
23. Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In Leite, J., Omicini, A., Torroni, P., Yolum, P., eds.: Declarative Agent Languages and Technologies (DALT 2004), LNCS 3476, Springer-Verlag (2005). In this volume.
24. 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 (In press) (2004)
25. Yen, J., et al: CAST manual. Technical report, IST, The Pennsylvania State University (2004)
26. JACK Teams Manual. http://www.agent-software.com/shared/demosNdocs/JACK- Teams-Manual.pdf. (2004)
27. OWL-S. http://www.daml.org/services/owl-s/1.0/owl-s.html (2003)
28. McDermott, D.: The formal semantics of processes in PDDL. In: Proc. ICAPS Workshop on PDDL. (2003)