@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",
doi = "10.1007/11493402_5",
language = "English (US)",
isbn = "3540261729",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "69--91",
booktitle = "Declarative Agent Languages and Technologies II - Second International Workshop, DALT 2004, Revised Selected Papers",
address = "Germany",
note = "2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 ; Conference date: 19-07-2004 Through 19-07-2004",
}