5.6.2 Future Work

Our future work in this area includes, representing more complex team

building scenarios, for example employing a form of negotiation process

between agents during the team formation phase, and development of a

more robust implementation whereby dynamic organizations of rational

agents can be easily constructed. Finally we intend to look more at complexity

results in more depth.

References

1. Barringer, H., Fisher, M., Gabbay, D., Gough, G. and Owens, R. METATEM:

An Introduction. Formal Aspects of Computing, 7(5):533–549, 1995.

2. Cohen, P. and Levesque, H. Teamwork. Nous, 25:11–24, 1991.

3. Emerson, E. A. Temporal and Modal Logic. In Handbook of Theoretical

Computer Science, J. van Leeuwen, editor. Elsevier. 1990, pp 996–1072.

4. Ferber, J. and Gutknecht, O. Aalaadin: a meta-model for the analysis and design

of organizations in multi-agent systems. Research Report R. R. LIRMM

97189, LIRM, Universitґe Montpelier, France, December 1997.

5. Finin, T. and Fritzson, R. KQML — 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–136.

6. FIPA. Agent Communication Language – Spec 2. Foundation for Intelligent

Physical Agents. 1999. http://www.fipa.org/spec/fipa9412.PDF

7. Fisher, M. Concurrent METATEM — A Language for Modeling Reactive Systems.

In Parallel Architectures and Languages, Europe (PARLE), (LNCS

694), Munich, Germany, June 1993.

8. Fisher, M. Representing and Executing Agent-Based Systems. In Intelligent

Agents, M. Wooldridge and N. R. Jennings, editors. Springer-Verlag. 1995.

9. Fisher, M. A Temporal Semantics for Concurrent METATEM. Journal of

Symbolic Computation, 22(5/6), November/December 1996.

10. Fisher, M. An Introduction to Executable Temporal Logics. Knowledge Engineering

Review, 11(1):43–56, March 1996.

11. Fisher, M. A Normal Form for Temporal Logic and Its Application in

Theorem-Proving and Execution. Journal of Logic and Computation,

7(4):429–456, August 1997.

12. Fisher, M. Implementing BDI-like Systems by Direct Execution. In Proceedings

of the Fifteenth International Joint Conference on Artificial Intelligence

(IJCAI’97), Morgan-Kaufmann, 1997.

13. Fisher, M. and Ghidini, C. Programming Resource-Bounded Deliberative

Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial

Intelligence (IJCAI’99), Morgan Kaufmann Publ., Inc., 1999, pp 200–

206.

14. Fisher, M. and Ghidini, C. A Simplified Model for Rational Agents. 2001.

15. Fisher, M. and Kakoudakis, T. Flexible Agent Grouping in Executable Temporal

Logic. In Proceedings of Twelfth International Symposium on Languages

for Intensional Programming (ISLIP), World Scientific Press, 1999.

16. Ghidini, C. and Giunchiglia, F. Local Models Semantics, or Contextual Reasoning

= Locality + Compatibility. Artificial Intelligence, 127(4):221–259,

2001. A short version appeared in the proceedings of the Sixth International

Conference on Principles of Knowledge Representation and Reasoning

(KR’98).

17. De Giacomo, G., Lespґerance, Y. and Levesque, H. Congolog, a concurrent programming

language based on the situation calculus. Artificial Intelligence,

121(1-2):109–169, 2000.

18. Giunchiglia, F. and Serafini, L. Multilanguage hierarchical logics (or: how

we can do without modal logics). Artificial Intelligence, 65:29–70, 1994. Also

IRST-Technical Report 9110-07, IRST, Trento, Italy.

19. Gosling, J., Joy, B. and Steele, G. The Java Language Specification, Addison-

Wesley. 1996.

20. Jennings, N. R. and Wooldridge, M. Applications of agent technology. In

Agent Technology: Foundations, Applications, and Markets, Springer-Verlag,

Heidelberg. 1998.

21. Kinny, D., Ljungberg,M., Rao, A. S., Sonenberg, E., Tidhar, G. andWerner, E.

Planned team activity. In Artificial Social Systems — Selected Papers from

the Fourth European Workshop on Modelling Autonomous Agents in a Multi-

Agent World, MAAMAW-92, (LNAI 830), C. Castelfranchi and E. Werner, editors.

Springer-Verlag. 1992, pp 226–256.

22. Kitano, H., Tambe, M., Stone, P. and Veloso, M. The robocup synthetic agent

challenge. In Proceedings of the International Joint Conference on Artificial

Intelligence (IJCAI97), 1997.

23. Lange, D. and Oshima, M. Programming and Deploying Java Mobile Agents

with Aglets. Addison-Wesley, Reading, MA. 1998.

24. Levesque, H., Reiter, R., Lespґerance, Y., Lin, F. and Scherl, R. GOLOG: A

Logic Programming Language for Dynamic Domains. Journal of Logic Programming,

31:59–84, 1997.

25. Pnueli, A. The Temporal Logic of Programs. In Proceedings of the Eighteenth

Symposium on the Foundations of Computer Science, Providence, RI,

November 1977.

26. Rao, A. S. and Georgeff, M. P. Modeling Agents within a BDI-Architecture.

In International Conference on Principles of Knowledge Representation and

Reasoning (KR), R. Fikes and E. Sandewall, editors. Morgan Kaufmann,

Cambridge, MA, April 1991.

27. Shoham, Y. Agent-oriented programming. Artificial Intelligence, 60(1):51–

92, 1993.

28. Tambe, M. Teamwork in real-world dynamic environments. In Proceedings of

the First International Conference on Multi–Agent Systems, V. Lesser, editor.

MIT Press, 1995.

29. Tambe, M. Towards flexible teamwork. Journal of Artificial Intelligence Research,

7:83–124, 1997.

30. Wooldridge,M. and Rao, A., editors. Foundations of Rational Agency. Applied

Logic Series, Kluwer Academic Publishers. March 1999.

31. Wooldridge, M. and Jennings, N. The Cooperative Problem Solving Process.

Journal of Logic and Computation, 1999.