Developing formal specifications to coordinate heterogeneous autonomous agents

Proceedings - International Conference on Multi Agent Systems, ICMAS 1998

Volumn , Issue , 1998, Pages 261-268

  Singh, Munindar P ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; MULTI AGENT SYSTEMS; MUSCULOSKELETAL SYSTEM;

DISCOURSE ANALYSIS; DISTRIBUTED COORDINATION; DISTRIBUTED FRAMEWORK; KEY MODIFICATIONS;

AUTONOMOUS AGENTS;

EID: 85053107742     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICMAS.1998.699063     Document Type: Conference Paper

References (11)

1. J. L. Austin. How to Do Things with Words. Clarendon Press, Oxford, 1962.
2. R. A. Dooley. Appendix B: Repartee as a graph. In [5], pages 348-358. 1976.
3. E. A. Emerson and E. C. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2:241-266, 1982.
4. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):55%565, July 1978.
5. R. E. Longacre. An Anatomy of Speech Notions. Peter de Ridder, Lisse, 1976.
6. R. E. Longacre. The Grammar of Discourse. Plenum Press, New York, 2nd edition, 1996.
7. H. V. D. Parunak. Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis. In Proceedings of the 2nd International Conference on Multiagent Systems, pages 275-282. AAA1 Press, 1996.
8. R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3): 149-174, 1994.
9. M. P. Singh. Commitments among autonomous agents in information-rich environments. In Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMW), pages 141-1 55. Springer-Verlag, May 1997.
10. M. P. Singh. A customizable coordination service for autonomous agents. In Pvoceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages (ATAL). Springer-Verlag, July 1997. Publication date: 1998.
11. M. P. Singh. The intentions of teams: Team structure, endodeixis, and exodeixis. In Proceedings of the 13th European Conference on Artijicial Intelligence (ECAI). John Wiley, Aug. 1998.