Direct execution of team specifications in STAPLE

Sanjeev Kumar, Philip R. Cohen, Marcus J. Huber

Research output: Contribution to conferencePaperpeer-review

10 Citations (Scopus)


Formal theories of teamwork are typically treated as software design specifications of team behavior. We take a different approach to programming teamwork by directly executing logical specifications of joint commitment and joint intention. This approach leads to a domain-independent framework for programming teamwork where one can modify (or add new) behavior for a team of agents just by modifying (or adding) logical sentences. One may also be able to predict the behavior of an agent team offline using its team intention specification and verify it by running the actual system.

Original languageEnglish
Number of pages2
Publication statusPublished - 1 Jan 2002
Externally publishedYes
EventInternational Conference on Autonomous Agents and Multiagent Systems 2002 - Bologna, Italy
Duration: 15 Jul 200219 Jul 2002
Conference number: 1st (Proceedings)


ConferenceInternational Conference on Autonomous Agents and Multiagent Systems 2002
Abbreviated titleAAMAS 2002
Internet address


  • Agent Languages and Environments
  • Teamwork

Cite this