The semantics of MALLET - An agent teamwork encoding language

Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Abstract

MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. The semantics can be used to guide the implementation of MALLET interpreters, and to formally study the properties of team-based agents specified in MALLET.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages69-91
Number of pages23
StatePublished - Dec 1 2005
Event2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 - New York, NY, United States
Duration: Jul 19 2004Jul 19 2004

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3476 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004
CountryUnited States
CityNew York, NY
Period7/19/047/19/04

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'The semantics of MALLET - An agent teamwork encoding language'. Together they form a unique fingerprint.

  • Cite this

    Fan, X., Yen, J., Miller, M. S., & Volz, R. A. (2005). The semantics of MALLET - An agent teamwork encoding language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 69-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3476 LNAI).