Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to communicate using such protocols. In this paper we explore the use of model checkers to verify properties of agent communication protocols, with these properties expressed as formulae in temporal logic.  We illustrate our approach using a recently-proposed protocol for agent dialogues over commands, a protocol that permits the agents to present questions, challenges and arguments for or against compliance with a command.

The AAAI-2002 Fall Symposium Series was held Friday through Sunday, 15 to 17 November 2002 at the Sea Crest Conference Center in North Falmouth, Massachusetts. The five symposia in the 2002 Fall Symposia Series were (1) Chance Discovery: The Discovery and Management of Chance Events; (2) Etiquette for Human-Computer Work; (3) Human-Robot Interaction; (4) Intent Inference for Users, Teams, and Adversaries; and (5) Personalized Agents. The highlights of each symposium were presented at a special plenary session. Association for the Advancement of Artificial Intelligence (AAAI) technical reports of most of the symposia will be made available to AAAI members.

However, even if you become aware of the value of a chance event, for example, with a new behavior of a customer in the market you are selling in, it is still hard to persuade your colleagues to make actions in response to the rare event. "Interesting keywords arose, such as "You had a symposium on the creation The Symposium on Etiquette for Human-Computer "So was it a conference on knowledge Work began its meeting--with discovery inviting philosophers?" The first invited talk In this symposium, we had 17 papers, Jeanne Comeau, an author, speaker, gave us deep insight into customer 2 invited lectures, and 14 other and teacher on etiquette and the director networks in the market, and the last speakers. Six countries (Japan, United of the Etiquette School of panel extended to management, persuasion, States, United Kingdom, Germany, Boston. Comeau taught us a great communication, and trust, Portugal, and the Czech Republic) deal about etiquette's history and and so on.