The semantics of MALLET - An agent teamwork encoding language

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

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 proceeding › Conference contribution

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 language	English (US)
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages	69-91
Number of pages	23
State	Published - Dec 1 2005
Event	2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 - New York, NY, United States Duration: Jul 19 2004 → Jul 19 2004

Publication series

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

Other

Other	2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004
Country/Territory	United States
City	New York, NY
Period	7/19/04 → 7/19/04

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. et al. / 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 = dec,

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)",

note = "2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 ; Conference date: 19-07-2004 Through 19-07-2004",

}

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. et al.
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 proceeding › Conference 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

AN - SCOPUS:26844580144

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)

T2 - 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004

Y2 - 19 July 2004 through 19 July 2004

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

The semantics of MALLET - An agent teamwork encoding language

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this