On coordination, autonomy and time

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On coordination, autonomy and time

Full text

Pdf (214 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 table of contents

Budapest, Hungary

SESSION: Comprehensive/cross-cutting table of contents

Pages 1357-1358

Year of Publication: 2009

ISBN:978-0-9817381-7-8

Authors

Lǎcrǎmioara Aştefǎnoaei
Frank S. de Boer
Mehdi Dastani

Sponsors

: The Foundation for Intelligent Physical Agents
Microsoft Research : Microsoft Research
: Whitestein Technologies
: European Office of Aerospace Research and Development, Air Force Office of Scientific Research, United States Air Force Research Laboratory
: Drexel University
: Wiley -- Blackwell Ltd

Publisher

International Foundation for Autonomous Agents and Multiagent Systems Richland, SC

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 22, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

Timed coordination is an important issue in the developement of multi-agent systems. However, introducing a formalism for modelling time and achieving coordination while respecting the autonomy of the agents is still a challenge. This paper describes a formalism for a timed coordination mechanism which conciliates the "free thinking" of an agent.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Rajeev Alur, Timed Automata, Proceedings of the 11th International Conference on Computer Aided Verification, p.8-22, July 06-10, 1999
	2	Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004 [doi>10.1017/S0960129504004153]
	3	Lacramioara Astefanoaei , Frank S. de Boer, Model-checking agent refinement, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, May 12-16, 2008, Estoril, Portugal
	4	Guido Boella , Jan Broersen , Leendert Torre, Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations, Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems, p.86-97, December 15-16, 2008, Hanoi, Vietnam [doi>10.1007/978-3-540-89674-6_12]
	5	M. Dastani, D. Grossi, J.-J. C. Meyer, and N. Tinnemeier. Normative multi-agent programs and their logics. In KRAMAS'08: Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems, 2008.