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 Citations (Scopus)

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

Fingerprint

Team Work
Encoding
Semantics
Specification languages
Operational Semantics
Transition Systems
Specification Languages
Computer programming languages
Programming Languages
Language

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

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).
Fan, Xiaocong ; Yen, John ; Miller, Michael S. ; Volz, Richard A. / The semantics of MALLET - An agent teamwork encoding language. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2005. pp. 69-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{df9b2b9c02d04250a003108e0f6d961a,
title = "The semantics of MALLET - An agent teamwork encoding language",
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.",
author = "Xiaocong Fan and John Yen and Miller, {Michael S.} and Volz, {Richard A.}",
year = "2005",
month = "12",
day = "1",
language = "English (US)",
isbn = "3540261729",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "69--91",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Fan, X, Yen, J, Miller, MS & Volz, RA 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). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3476 LNAI, pp. 69-91, 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004, New York, NY, United States, 7/19/04.

The semantics of MALLET - An agent teamwork encoding language. / Fan, Xiaocong; Yen, John; Miller, Michael S.; Volz, Richard A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2005. p. 69-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3476 LNAI).

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

TY - GEN

T1 - The semantics of MALLET - An agent teamwork encoding language

AU - Fan, Xiaocong

AU - Yen, John

AU - Miller, Michael S.

AU - Volz, Richard A.

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=26844580144&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26844580144&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540261729

SN - 9783540261728

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 69

EP - 91

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

Fan X, Yen J, Miller MS, Volz RA. 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). 2005. p. 69-91. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).