Formalization of commitment-based agent interaction

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formalization of commitment-based agent interaction

Full text

Pdf (130 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2001 ACM symposium on Applied computing table of contents

Las Vegas, Nevada, United States

Pages: 115 - 120

Year of Publication: 2001

ISBN:1-58113-287-5

Authors

Jie Xing	Operations Research, North Carolina State University, Raleigh, NC
Munindar P. Singh	Computer Science Department, North Carolina State University, Raleigh, NC

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 7, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/372202.372290 What is a DOI?

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	M.Barbuceanu and M.S.Fox.COOL:A language for describing oordination in multi agent systems.In Proceedings ofthe Internationa Conference on Multiagent Systems ,pages 17 -24,1995.
	2	C.Castelfranchi.Commitments:From individual intentions to groups and organizations.In Proceedings of the International Conference on Multiagent Systems , pages 41 -48,1995.
	3	E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986 [doi>10.1145/5397.5399]
	4	R.Davis and R.G.Smith.Negotiation as a metaphor for distributed problem solving.Artificial Intelligence , 20:63 -109,1983.
	5	Frank Dignum , Bernd van Linder, Modelling Social Agents: Communication as Action, Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages, p.205-218, August 12-13, 1996
	6	E. Allen Emerson, Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	7	David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
	8	Mark Klein , Chrysanthos Dellarocas, Exception handling in agent systems, Proceedings of the third annual conference on Autonomous Agents, p.62-68, April 1999, Seattle, Washington, United States [doi>10.1145/301136.301164]
	9	M.P.Singh.An ontology for ommitments in multiagent systems:Toward a unification of normative concepts.Artificial Intelligence and Law ,7:97 -113, 1999.