Commitments among agents

IEEE Internet Computing

Volumn 7, Issue 4, 2003, Pages 90-93

  Mallya, Ashok U ^b   Huhns, Michael N ^a  

^a UNIVERSITY OF SOUTH CAROLINA   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; ELECTRONIC COMMERCE; FORMAL LOGIC; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SEMANTICS; SOFTWARE AGENTS;

COMPUTATION TREE LOGIC; POINT BASED TEMPORAL LOGICS;

WORLD WIDE WEB;

EID: 0042531883     PISSN: 10897801     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIC.2003.1215666     Document Type: Article

References (7)

1. B. Partee, "Nominal and Temporal Anaphora," Linguistics and Philosophy, vol. 7, no. 3, 1984, pp. 287-324.
2. E.A. Emerson, "Temporal and Modal Logic," Handbook of Theoretical Computer Science, vol. B, 1990, pp. 995-1072.
3. C. Castelfranchi, "Commitments: From Individual Intentions to Groups and Organizations," Proc. AAAI'93 Workshop AI and Theories of Groups and Organizations: Conceptual and Empirical Research, AAAI, 1993.
4. A.U. Mallya, P. Yolum, and M.P. Singh, "Resolving Commitments Among Autonomous Agents," to appear in Proc. AAMAS'03 Workshop Agent Communication Languages and Conversation Policies, ACM Press, 2003.
5. M. Venkataraman and M.P. Singh, "Verifying Compliance with Commitment Protocols: Enabling Open Web-Based Multiagent Systems," Autonomous Agents and Multiagent Systems, vol. 2, no. 3, 1999, pp. 217-236.
6. P. McBurney and S. Parsons, "Dialogue Game Protocols," to appear in Proc. Comm. Multi-Agent Systems: Background, Current Trends and Future, vol. 2650, Lecture Notes in Artificial Intelligence, Springer, 2003, pp. 317-331.
7. P. Yolum and M.P. Singh, "Commitment Machines," Proc. 8th Int'l Workshop Agent Theories, Architectures, and Languages (ATAL '01), Springer-Verlag, 2001.